8083 search results - page 62 / 1617 » A Formalization of Software Architecture |
KBSE
1997
IEEE
13 years 12 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...
AISC
2010
Springer
14 years 14 days 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...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
MODELS
2009
Springer
14 years 2 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 ...
ICECCS
2007
IEEE
14 years 2 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 ...