10159 search results - page 642 / 2032 » System Design Validation Using Formal Models |
201
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...
157
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...
201
click to vote
HICSS
2005
IEEE
16 years 26 days ago
2005
IEEE
A picture archiving and communications system (PACS) is an integrated workflow system for managing images and related data which is designed to streamline operations throughout th...
204
click to vote
AMOST
2005
ACM
16 years 24 days ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
190
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...