875 search results - page 15 / 175 » Specification Modules for Methodical System Development |
JSS
2006
14 years 9 months ago
2006
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
GI
2004
Springer
15 years 3 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
MSR
2005
ACM
15 years 3 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
CGVR
2006
14 years 11 months ago
2006
: This paper presents a 3D scene modeling method for a Simple and Effective 3D Navigation (SE3DN) system, with 2D map guidance and multimedia information. SE3DN constructs 3D model...