658 search results - page 97 / 132 » A formal approach to object-oriented software engineering |
215
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
165
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
138
click to vote
RE
1997
Springer
15 years 8 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
166
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...
121
click to vote
GTTSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...