4919 search results - page 746 / 984 » A Process-Ontological Model for Software Engineering |
155
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
155
Voted
COMPSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
114
click to vote
TACS
1991
Springer
15 years 7 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
125
Voted
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we present a generic, mirror-based debugging architecture that supports runtime visibility and traceability of aspect oriented (AO) software systems. Runtime visibil...
134
click to vote
ASWEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...