1128 search results - page 82 / 226 » Little Engines of Proof |
63
Voted
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prov...
ADAEUROPE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
ASM
2005
ASM
15 years 3 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
66
Voted
ICSM
2003
IEEE
15 years 3 months ago
2003
IEEE
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
FASE
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...