8083 search results - page 62 / 1617 » A Formalization of Software Architecture |
149
Voted
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
161
click to vote
AISC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
99
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
125
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
110
Voted
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...