1121 search results - page 168 / 225 » Building Formal Requirements Models for Reliable Software |
115
Voted
RE
2005
Springer
15 years 9 months ago
2005
Springer
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
138
Voted
FASE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
145
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
114
Voted
AISC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
121
click to vote
RAS
2008
15 years 3 months ago
2008
Robot projects are often evolutionary dead ends, with the software and hardware they produce disappearing without trace afterwards. Common causes include dependencies on uncommon ...