69 search results - page 9 / 14 » Translation-Based Compositional Reasoning for Software Syste... |
174
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
125
click to vote
SIES
2007
IEEE
15 years 9 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
140
Voted
IJWET
2008
15 years 2 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
132
click to vote
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
118
click to vote
JSW
2008
15 years 3 months ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...