Sciweavers

4476 search results - page 10 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
DSL
1997
15 years 2 months ago
Domains of Concern in Software Architectures and Architecture Description Languages
Software architectures shift the focus of developers from lines-of-code to coarser-grained elements and their interconnection structure. Architecture description languages (ADLs) ...
Nenad Medvidovic, David S. Rosenblum
SERP
2004
15 years 2 months ago
Modeling Aspects of the Dynasty 3-D Game
This paper presents the motivation as well as the development for Dynasty, a 3-D game. Dynasty is a multiplayer 3D first person shooter game that is based in Ancient China. Player...
Frederick C. Harris Jr., Brent Devaney, John Kenyo...
UML
2000
Springer
15 years 5 months ago
From Use Cases to System Operation Specifications
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
Shane Sendall, Alfred Strohmeier
COMPSAC
2007
IEEE
15 years 5 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
JSS
2010
123views more  JSS 2010»
14 years 8 months ago
Composition of architectural models: Empirical analysis and language support
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
Nelis Boucké, Danny Weyns, Tom Holvoet