Sciweavers

2700 search results - page 214 / 540
» The role of abstraction in software engineering
Sort
View
EWSA
2006
Springer
15 years 10 months ago
Introspective Model-Driven Development
In this paper, we propose a new approach to model-driven development, which we call introspective model-driven development (IMDD). This approach relies heavily on some well-underst...
Thomas Büchner, Florian Matthes
FATES
2006
Springer
15 years 10 months ago
A Test Calculus Framework Applied to Network Security Policies
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
Yliès Falcone, Jean-Claude Fernandez, Laure...
FASE
2011
Springer
14 years 10 months ago
Testing Container Classes: Random or Systematic?
Abstract. Container classes such as lists, sets, or maps are elementary data structures common to many programming languages. Since they are a part of standard libraries, they are ...
Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordo...
VMCAI
2012
Springer
14 years 2 months ago
Sound Non-statistical Clustering of Static Analysis Alarms
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
Woosuk Lee, Wonchan Lee, Kwangkeun Yi
PPPJ
2003
ACM
15 years 11 months ago
Supporting interactive invocation of remote services within an integrated programming environment
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
Bruce Quig, John Rosenberg, Michael Kölling