795 search results - page 64 / 159 » A Formal Approach to Heterogeneous Software Modeling |
113
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
117
Voted
TSE
2008
15 years 13 days ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
104
click to vote
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
UML
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
122
click to vote
AC
1998
Springer
15 years 7 days ago
1998
Springer
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...