Sciweavers

19986 search results - page 438 / 3998
» On Designing Software Architectures
Sort
View
UML
2005
Springer
16 years 11 days ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
ICSE
2007
IEEE-ACM
16 years 7 months ago
ArchStudio 4: An Architecture-Based Meta-Modeling Environment
We will demonstrate ArchStudio, an environment for software architecture modeling and meta-modeling. We will also showcase a set of innovative architecturecentric applications tha...
Eric M. Dashofy, Hazeline U. Asuncion, Scott A. He...
ICSE
2003
IEEE-ACM
16 years 3 days ago
Architectural Requirements Engineering: Theory vs. Practice
This paper discusses how architectural requirements engineering fits into an overall software development process in the concept and definition phases of a project. It defines a r...
Robert W. Schwanke
ASWSD
2004
Springer
16 years 9 days ago
On the Fault Hypothesis for a Safety-Critical Real-Time System
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
Hermann Kopetz
WIKIS
2010
ACM
15 years 7 months ago
ThinkFree: using a visual Wiki for IT knowledge management in a tertiary institution
We describe ThinkFree, an industrial Visual Wiki application which provides a way for end users to better explore knowledge of IT Enterprise Architecture assets that is held withi...
Christian Hirsch, John G. Hosking, John C. Grundy,...