1888 search results - page 68 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
138
click to vote
FAC
2010
15 years 16 days ago
2010
Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...
163
click to vote
FIW
1998
15 years 4 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
119
click to vote
UML
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
136
click to vote
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
109
click to vote
IASTEDSE
2004
15 years 4 months ago
2004
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic l...