1525 search results - page 3 / 305 » Formal Models for Communication-Based Design |
150
click to vote
ASWEC
2007
IEEE
16 years 4 days ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
154
Voted
SFM
2007
Springer
15 years 12 months ago
2007
Springer
157
click to vote
AOSE
2004
Springer
15 years 11 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
124
click to vote
RSP
1999
IEEE
15 years 10 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
145
click to vote
DATE
2006
IEEE
15 years 12 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...