2558 search results - page 21 / 512 » Model Composition Contracts |
122
Voted
SOFSEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
105
click to vote
ICAIL
2009
ACM
15 years 9 months ago
2009
ACM
Legal doctrines provide principles, guidelines and rules for dispute resolution in reasoning with cases. To apply legal doctrines, the context of a contract consisting of differe...
112
click to vote
ECMDAFA
2007
Springer
15 years 8 months ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
125
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
135
Voted
ICEIS
2005
IEEE
15 years 8 months ago
2005
IEEE
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...