Sciweavers

5182 search results - page 313 / 1037
» COTS-Based Requirements Engineering
Sort
View
ENTCS
2006
115views more  ENTCS 2006»
15 years 7 months ago
Using ATL for Checking Models
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
Jean Bézivin, Frédéric Jouaul...
IJVR
2008
125views more  IJVR 2008»
15 years 7 months ago
The Virtual Instructor Intervention: A Case in LEGO Robotics
Solving robotic exercises is a difficult task for students because the modeling activity involved requires students to comprehend programming, robotic design concepts as well as ba...
Pauline H. Mosley, Jayfus T. Doswell
ECEASST
2007
78views more  ECEASST 2007»
15 years 7 months ago
Lightweight Visualisations of COBOL Code for Supporting Migration to SOA
In this age of complex business landscapes, many enterprises turn to SOA for aligning their IT portfolio with their business. Because of the enormous business risk involved with r...
Joris Van Geet, Serge Demeyer
RE
2006
Springer
15 years 7 months ago
Towards a Reference Framework for Software Product Management
In the last decade, software product management has received much practical attention, though research in this area is still scattered. In this paper, we present a reference frame...
Inge van de Weerd, Sjaak Brinkkemper, Richard Nieu...
ICSE
2009
IEEE-ACM
16 years 8 months ago
Automatically finding patches using genetic programming
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
Westley Weimer, ThanhVu Nguyen, Claire Le Goues, S...