3255 search results - page 152 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
131
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
122
click to vote
FASE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
132
Voted
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
134
click to vote
ICCD
2007
IEEE
16 years 1 months ago
2007
IEEE
Most previous 3D IC research focused on “stacking” traditional 2D silicon layers, so the interconnect reduction is limited to interblock delays. In this paper, we propose tech...
129
click to vote
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
15 years 10 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...