3514 search results - page 101 / 703 » Evolving Specification Engineering |
APSEC
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
QSIC
2008
IEEE
14 years 2 months ago
2008
IEEE
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...
ICSM
2002
IEEE
14 years 28 days ago
2002
IEEE
This paper is about client-specific customization of systems that implement an on-line Internet service in the presence of simultaneous client-specific views. The problem is that ...
EUROMICRO
2000
IEEE
14 years 12 days ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
FATES
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...