3765 search results - page 83 / 753 » Formal Methods for Systems Engineering Behavior Models |
108
Voted
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 8 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
106
click to vote
DAC
1998
ACM
16 years 3 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
115
click to vote
WCRE
1997
IEEE
15 years 5 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...
106
click to vote
ECSA
2008
Springer
15 years 4 months ago
2008
Springer
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...
122
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...