10159 search results - page 179 / 2032 » System Design Validation Using Formal Models |
108
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
125
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
126
Voted
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
127
click to vote
SEC
1997
15 years 3 months ago
1997
A formal top down model shall be presented to aid documentation and harmonization of information security requirements. The model formalizes layered development of inn security, w...
104
click to vote
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...