3765 search results - page 312 / 753 » Formal Methods for Systems Engineering Behavior Models |
209
click to vote
FASE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
162
click to vote
WOSS
2004
ACM
16 years 4 days ago
2004
ACM
Traditionally, software models are associated with development and maintenance related activities. This paper demonstrates that models also serve a vital purpose in supporting the...
163
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
178
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
191
click to vote
JOT
2010
15 years 5 months ago
2010
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...