3799 search results - page 322 / 760 » An Engineering Approach to Formal Methods |
184
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
199
Voted
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
206
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
177
click to vote
DRM
2007
Springer
16 years 27 days ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
160
click to vote
FASE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...