3555 search results - page 356 / 711 » Security-Critical System Development with Extended Use Cases |
277
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
Semantic Analysis is a business analysis method designed to capture user requirements and represent them as text or in a graph that is called Ontology Chart. Ontology Charts can b...
180
Voted
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper presents a virtual reality modeling system based on interactive web technologies. The system’s goal is to provide a user-friendly virtual environment for the developme...
181
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
149
click to vote
VDB
1998
15 years 8 months ago
1998
Model-based systems provide methods for supporting the systematic and efficient development of application interfaces. This paper examines how model-based technologies can be expl...
205
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...