3765 search results - page 116 / 753 » Formal Methods for Systems Engineering Behavior Models |
96
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
134
click to vote
FM
1991
Springer
15 years 6 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
141
click to vote
ENTCS
2010
14 years 12 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
125
Voted
SOSYM
2010
14 years 9 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
113
click to vote
FMSD
2006
15 years 2 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...