754 search results - page 58 / 151 » Requirements for Automotive System Engineering Tools |
SEKE
2001
Springer
14 years 1 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
AINA
2008
IEEE
14 years 3 months ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
ICSM
1999
IEEE
14 years 1 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
ICSE
2009
IEEE-ACM
14 years 1 months ago
2009
IEEE-ACM
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....