6201 search results - page 61 / 1241 » Implementation of Axiomatic Language |
116
Voted
TOSEM
2002
15 years 3 months ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
140
click to vote
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...
141
Voted
PSLS
1995
15 years 7 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
153
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
142
Voted
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
In order to enrich XML with event driven, active behavior, the Active XML Schema approach defines active behavior within XML schemas along metadata, and stores traces of active b...