875 search results - page 8 / 175 » Specification Modules for Methodical System Development |
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
70
Voted
WSC
2000
14 years 11 months ago
2000
Designing semiconductor cluster tool systems is a complicated task due to the nature of automatic operations and various configurations of modules and task response priorities of ...
106
click to vote
FM
1997
Springer
15 years 1 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...
FM
1999
Springer
15 years 1 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...
115
click to vote
DSVIS
1998
Springer
15 years 1 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...