3828 search results - page 412 / 766 » Proof-Based System Engineering Using a Virtual System Model |
185
click to vote
SIGSOFT
1994
ACM
15 years 11 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
191
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
207
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...
169
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
173
Voted
SIGMOD
2002
ACM
16 years 7 months ago
2002
ACM
Managing a combined store consisting of database data and file data in a robust and consistent manner is a challenge for database systems and content management systems. In such a...