127
click to vote
FASE
15 years 6 months ago
2001 Springer 
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
FASE
15 years 6 months ago
2001 Springer 
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...
116
click to vote
FASE
15 years 6 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 ...
107
click to vote
FASE
15 years 6 months ago
2001 Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
103
click to vote
FASE
15 years 6 months ago
2001 Springer 
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
|
Software Engineering