Sciweavers

10 search results - page 2 / 2
» UML ROOM as a Standard ADL
Sort
View
UML
2004
Springer
13 years 10 months ago
Software Architecture Description and UML
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic
ROOM
2000
13 years 6 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
LCTRTS
1998
Springer
13 years 9 months ago
Using UML for Modeling Complex Real-Time Systems
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...
Bran Selic
ROOM
2000
13 years 6 months ago
SDL-2000: A Language with a Formal Semantics
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
Joachim Fischer, Eckhardt Holz, Martin von Lö...
SAC
2004
ACM
13 years 10 months ago
Combining analysis and synthesis in a model of a biological cell
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
Ken Webb, Tony White