Search Sciweavers | Sciweavers

15155 search results - page 86 / 3031

» System Software

click to vote

CAISE
2005
Springer

114views Information Technology» more CAISE 2005»

System Ontology and its role in Software Development

14 years 3 months ago

Download sunsite.informatik.rwth-aachen.de

The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...

Jan L. G. Dietz

claim paper

Read More »

click to vote

RE
2010
Springer

186views Software Engineering» more RE 2010»

Feature Unweaving: Refactoring Software Requirements Specifications into Software Product Lines

13 years 4 months ago

Download www.ifi.uzh.ch

The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...

Reinhard Stoiber, Samuel Fricker, Michael Jehle, M...

claim paper

Read More »

click to vote

FROCOS
2009
Springer

154views Control Systems» more FROCOS 2009»

Building SMT-Based Software Model Checkers: An Experience Report

14 years 4 months ago