78 search results - page 4 / 16 » Analyzing critical process models through behavior model syn... |
86
Voted
HASE
2007
IEEE
15 years 3 months ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
105
Voted
ICSE
2003
IEEE-ACM
15 years 4 months ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
DAC
2000
ACM
16 years 17 days ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
105
click to vote
SIGSOFT
2009
ACM
16 years 10 days ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
CAISE
2008
Springer
15 years 1 months ago
2008
Springer
Although requirements analysis is acknowledged as a critical success factor of information system development for organizations, problems related to the requirements stage are freq...