Sciweavers

1284 search results - page 138 / 257
» Abstract Processes in Orchestration Languages
Sort
View
NLDB
2010
Springer
15 years 8 months ago
Automatic Quality Assessment of Source Code Comments: The JavadocMiner
Abstract. An important software engineering artefact used by developers and maintainers to assist in software comprehension and maintenance is source code documentation. It provide...
Ninus Khamis, René Witte, Juergen Rilling
ECMDAFA
2006
Springer
107views Hardware» more  ECMDAFA 2006»
15 years 8 months ago
Mutation Analysis Testing for Model Transformations
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
DIAGRAMS
2006
Springer
15 years 8 months ago
Flow Diagrams: Rise and Fall of the First Software Engineering Notation
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
Stephen J. Morris, O. C. Z. Gotel
138
Voted
MODELS
2010
Springer
15 years 3 months ago
Modeling Features at Runtime
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
Marcus Denker, Jorge Ressia, Orla Greevy, Oscar Ni...
ICFP
2003
ACM
16 years 4 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz