10159 search results - page 260 / 2032 » System Design Validation Using Formal Models |
127
Voted
CSREAPSC
2006
15 years 4 months ago
2006
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
123
click to vote
SAS
2000
Springer
15 years 6 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
136
click to vote
ESAW
2008
Springer
15 years 5 months ago
2008
Springer
Complexity of today's systems prevents designers from knowing everything about them and makes engineering them a difficult task for which classical engineering approaches are ...
140
click to vote
WSC
2008
15 years 5 months ago
2008
We present aspects of a simulated based system for analyzing and designing production control systems. The core of the system is a simulation of a manufacturing system operating w...
134
click to vote
FORTE
2007
15 years 4 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...