Sciweavers

1445 search results - page 80 / 289
» Tool Integration in Software Engineering Environments
Sort
View
ICSE
2007
IEEE-ACM
14 years 10 months ago
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models
Large design models contain tens of thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard ...
Alexander Egyed
EUROMICRO
2003
IEEE
14 years 4 months ago
Merging components and testing tools: The Self-Testing COTS Components (STECC) Strategy
Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited ...
Sami Beydeda, Volker Gruhn
ICSE
2007
IEEE-ACM
14 years 10 months ago
Korat: A Tool for Generating Structurally Complex Test Inputs
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
Aleksandar Milicevic, Sasa Misailovic, Darko Marin...
ICSE
1997
IEEE-ACM
14 years 2 months ago
Lackwit: A Program Understanding Tool Based on Type Inference
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
Robert O'Callahan, Daniel Jackson
AGILEDC
2005
IEEE
14 years 4 months ago
An Environment for Collaborative Iteration Planning
Existing project planning software for agile development processes offers limited support for face-to-face, synchronous collaboration. In this paper, we describe an environment, A...
Lawrence Liu, Frank Maurer, Hakan Erdogmus