Sciweavers

1445 search results - page 44 / 289
» Tool Integration in Software Engineering Environments
Sort
View
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
14 years 1 months ago
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...
CISIS
2010
IEEE
13 years 8 months ago
Ten Principles for Living Models - A Manifesto of Change-Driven Software Engineering
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...
Ruth Breu
ICSE
2008
IEEE-ACM
14 years 10 months ago
Juzi: a tool for repairing complex data structures
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
Bassem Elkarablieh, Sarfraz Khurshid
WCRE
2006
IEEE
14 years 3 months ago
MELIS: an Eclipse Based Environment for the Migration of Legacy Systems to the Web
In this demonstration, we present MELIS (Migration Environment for Legacy Information Systems) an integrated environment for the migration of legacy systems to a multi-tier web-ba...
Massimo Colosimo, Andrea De Lucia, Giuseppe Scanni...
ECLIPSE
2007
ACM
14 years 1 months ago
High velocity refactorings in Eclipse
In Eclipse, and in most other development environments, refactorings are activated by selecting code, then using a menu or hotkey, and finally engaging in a dialog with a "wi...
Emerson R. Murphy-Hill, Andrew P. Black