Sciweavers

1971 search results - page 126 / 395
» A Pattern for Modeling Rework in Software Development Proces...
Sort
View
ITNG
2008
IEEE
14 years 3 months ago
A Minimalist Visual Notation for Design Patterns and Antipatterns
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
Demis Ballis, Andrea Baruzzo, Marco Comini
DCEIS
2006
13 years 10 months ago
Semantic Coherence in Software Engineering
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
Michael Skusa
ACMSE
2006
ACM
14 years 2 months ago
Framework design using function generalization: a binary tree traversal case study
A software framework is a technology that enables software reuse, potentially yielding rich dividends but requiring significant longterm investment. However, a framework is not a ...
H. Conrad Cunningham, Yi Liu, Pallavi Tadepalli
FMICS
2010
Springer
13 years 9 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
PE
2010
Springer
135views Optimization» more  PE 2010»
13 years 3 months ago
Performance evaluation of component-based software systems: A survey
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
Heiko Koziolek