1890 search results - page 163 / 378 » A component model for building systems software |
102
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
136
Voted
SAC
2008
ACM
15 years 8 days ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
119
click to vote
ICONS
2009
IEEE
15 years 7 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
127
Voted
FMCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
110
click to vote
UML
2001
Springer
15 years 5 months ago
2001
Springer
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...