4919 search results - page 364 / 984 » A Process-Ontological Model for Software Engineering |
160
click to vote
WADT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
138
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
The embryonics project proposes a family of cellular architectures with reconfiguration properties inspired by the ontogenesis of multicellular organisms. This paper proposes relia...
150
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
160
Voted
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
163
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...