10159 search results - page 520 / 2032 » System Design Validation Using Formal Models |
139
click to vote
ENC
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper presents a process for the development of a Model-Driven Architecture (MDA) tool for the construction of service-oriented component-based applications. The process is u...
164
click to vote
JSS
2008
15 years 6 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
174
click to vote
MASCOTS
2003
15 years 7 months ago
2003
System-level design presents special simulation modeling challenges. System-level models address the architectural and functional performance of complex systems. Systems are decom...
157
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
144
click to vote
BPM
2004
Springer
15 years 11 months ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...