2700 search results - page 221 / 540 » The role of abstraction in software engineering |
185
click to vote
ADAEUROPE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms’ worst-case execution time is exponential, they...
168
click to vote
GTTSE
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Domain Specific Languages (DSLs) are small languages designed for use in a specific domain. DSLs typically evolve quite radically throughout their lifetime, but current...
162
click to vote
VMCAI
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
168
click to vote
SCAM
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...
184
click to vote
VISSOFT
2005
IEEE
16 years 3 days ago
2005
IEEE
The paper presents and assesses a layout scheme for UML class diagrams that takes into account the architectural importance of a class in terms of its stereotype (e.g., boundary, ...