977 search results - page 135 / 196 » Formal methods integration in software engineering |
141
Voted
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
266
click to vote
VLSI
2012
Springer
13 years 11 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
135
Voted
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
150
Voted
SEW
2003
IEEE
15 years 9 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
154
click to vote
AC
1998
Springer
15 years 3 months ago
1998
Springer
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...