3799 search results - page 170 / 760 » An Engineering Approach to Formal Methods |
FDL
2003
IEEE
14 years 2 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
IFM
2000
Springer
14 years 27 days ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Many tasks in Software Engineering are very expensive, and that has led the investigation to how to automate them. In particular, Software Testing can take up to half of the re...
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...
ESEC
1997
Springer
14 years 1 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...