Sciweavers

2266 search results - page 189 / 454
» A generic component model for building systems software
Sort
View
AMOST
2005
ACM
16 years 2 days ago
A simulation model of a multi-server EJB system
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
David McGuinness, Liam Murphy
SERP
2003
15 years 7 months ago
Mappings between Object-Oriented Technology and Architecture-Based Models
In recent publications, two prominent approaches can be found which deal with the complexity of large software systems. First, there is the object–oriented approach, where ”ob...
Peter Tabeling, Bernhard Gröne
ISSRE
2010
IEEE
15 years 5 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...
RTCSA
1999
IEEE
15 years 10 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
UML
2000
Springer
15 years 10 months ago
Towards a UML Profile for Software Architecture Descriptions
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
Mohamed Mancona Kandé, Alfred Strohmeier