A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

doi 10.1007/978-3-540-73368-3_6
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Modular Specification of Frame Properties in JML

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2003English

Specification of the Javacard API in JML

2000English

bHLH-PAS Proteins: Functional Specification Through Modular Domain Architecture

OA Biochemistry
2013English

Java Advanced Imaging API: A Tutorial

Revista de Informatica Teorica e Aplicada
Computer Science
2004English

Rule Systems for Runtime Verification: A Short Tutorial

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Formal Specification and Verification

2019English

Modular Reasoning for Actor Specification Diagrams

1999English

A Tutorial on Text-Independent Speaker Verification

Eurasip Journal on Advances in Signal Processing
HardwareElectronic EngineeringSignal ProcessingElectricalArchitecture
2004English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy