1308 search results - page 175 / 262 » Application of Hazard Analysis to Software Quality Modelling |
134
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
141
click to vote
EDBT
2000
ACM
15 years 7 months ago
2000
ACM
Workflow management systems (WFMSs) that are geared for the orchestration of enterprise-wide or even "virtual-enterprise"-style business processes across multiple organi...
175
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
133
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
147
click to vote
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...