6581 search results - page 394 / 1317 » Formalizing Design Patterns |
159
Voted
ICFEM
1998
Springer
15 years 9 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
142
Voted
GROUP
1997
ACM
15 years 9 months ago
1997
ACM
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...
119
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
115
click to vote
COMMA
2008
15 years 6 months ago
2008
The past ten years have shown a great variety of approaches for formal argumentation. An interesting question is to which extent these various formalisms correspond to the differen...
177
Voted
IWFM
1998
15 years 6 months ago
1998
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...