1988 search results - page 215 / 398 » Engineering formal metatheory |
148
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
166
click to vote
CODES
1996
IEEE
15 years 10 months ago
1996
IEEE
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
175
click to vote
SIGSOFT
1993
ACM
15 years 10 months ago
1993
ACM
The software architecture of most systems is described informally and diagrammatically. In order for these descriptions to be meaningful at all, gures are understood by interpreti...
185
click to vote
ICSE
1989
IEEE-ACM
15 years 10 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
155
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...