2700 search results - page 217 / 540 » The role of abstraction in software engineering |
171
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
164
click to vote
FOSSACS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
175
click to vote
CONSTRAINTS
1998
15 years 6 months ago
1998
Graphs are widely used for information visualization purposes, since they provide a natural and intuitive tation of complex abstract structures. The automatic generation of drawing...
169
click to vote
SEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A challenging software engineering problem is the design and implementation of component-based (CB) applications that can meet specified performance requirements. Our PPC...
137
click to vote
EWSPT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Process programming languages have not been readily adopted by practitioners. We are addressing this problem through the development of Little-JIL, a language that focuse...