977 search results - page 96 / 196 » Formal methods integration in software engineering |
135
click to vote
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
111
click to vote
COMPSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents an initial design of the "Plug-nAnalyze" framework for the tradeoff analysisin determining architecture alternatives that have different strength and...
133
click to vote
FIW
2007
15 years 5 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
149
Voted
ASM
2010
ASM
15 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
156
click to vote
CADE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...