Sciweavers

958 search results - page 37 / 192
» Using the UML for Architectural Description
Sort
View
ADAEUROPE
2005
Springer
14 years 2 months ago
Using the AADL to Describe Distributed Applications from Middleware to Software Components
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
ICECCS
2008
IEEE
203views Hardware» more  ICECCS 2008»
14 years 3 months ago
Using AADL to Model a Protocol Stack
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
Didier Delanote, Stefan Van Baelen, Wouter Joosen,...
IJAOSE
2008
68views more  IJAOSE 2008»
13 years 8 months ago
Engineering manufacturing control systems using PROSA and delegate MAS
: This paper presents a systematic description of a reusable software architecture for multi-agent systems in the domain of manufacturing control. The architectural description con...
Paul Verstraete, Bart Saint Germain, Paul Valckena...
SAC
2010
ACM
14 years 3 months ago
Modeling the variability of architectural patterns
Architectural patterns provide proven solutions to recurring design problems that arise in a system context. A major challenge for modeling patterns in a system design is effectiv...
Ahmad Waqas Kamal, Paris Avgeriou
ECAI
2010
Springer
13 years 10 months ago
Parallel TBox Classification in Description Logics - First Experimental Results
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev