ICFEM
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
UML
1997
Springer
13 years 8 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
FM
1997
Springer
13 years 8 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
FTRTFT
1998
Springer
13 years 8 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
FM
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...