10159 search results - page 419 / 2032 » System Design Validation Using Formal Models |
158
click to vote
MBEES
2010
15 years 2 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
129
click to vote
ENTCS
2006
15 years 4 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
126
Voted
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
123
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
153
click to vote
CAISE
2001
Springer
15 years 9 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...