FASE
2001
Springer
14 years 12 days 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...
FASE
2001
Springer
14 years 12 days 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...
FASE
2001
Springer
14 years 12 days 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 ...
FASE
2001
Springer
14 years 12 days ago
2001
Springer
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
FASE
2001
Springer
14 years 12 days 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,...
EWSPT
2001
Springer
14 years 12 days ago
2001
Springer
The emerging field of mobile computing (MC) studies systems in which computational components may change locations. In terms of hardware, mobile work is usually across heterogene...
EWSPT
2001
Springer
14 years 12 days ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
EWSPT
2001
Springer
14 years 12 days ago
2001
Springer
Abstract. Patterns are now widely used for describing software designs. However, they may also be used to describe process structure rather than the product structure. This may be ...
EWSPT
2001
Springer
14 years 12 days ago
2001
Springer
In this paper we discuss that software processes for the development of electronic commerce systems are different from software processes for other kinds of information systems. We...
EWSPT
2001
Springer
14 years 12 days ago
2001
Springer
