3801 search results - page 121 / 761 » An Approach to Modeling Software Safety |
127
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...
158
click to vote
SPLC
2008
15 years 5 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
126
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
114
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...
125
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...