Sciweavers

3255 search results - page 266 / 651
» Usage-Centered Design and Software Engineering: Models for I...
Sort
View
WSR
2008
15 years 8 months ago
Towards Querying of Traceability Information in the Context of Software Evolution
: Traceability of various artifacts created during the development of software systems plays an important role in software evolution. Subsequent changes to artifacts must be traced...
Hannes Schwarz, Jürgen Ebert, Volker Riediger...
COMPSAC
2003
IEEE
15 years 12 months ago
A Graph Grammar Approach to Software Architecture Verification and Transformation
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song
142
Voted
VAMOS
2010
Springer
15 years 8 months ago
Automating the Configuration of Multi Software Product Lines
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
Marko Rosenmüller, Norbert Siegmund
ICSE
2005
IEEE-ACM
16 years 6 months ago
Global software development at siemens: experience from nine projects
We report on the experiences of Siemens Corporation in nine globally-distributed software development projects. These projects represent a range of collaboration models, from co-d...
James D. Herbsleb, Daniel J. Paulish, Matthew Bass
EUROMICRO
2000
IEEE
15 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...