1141 search results - page 142 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
193
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
174
click to vote
PROMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
146
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
155
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
157
click to vote
IPSN
2007
Springer
16 years 15 days ago
2007
Springer
Distributed computation of Voronoi cells in sensor networks, i.e. computing the locus of points in a sensor field closest to a given sensor, is a key building block that supports...