Sciweavers

89 search results - page 8 / 18
» icse 2010
Sort
View
ICSE
2010
IEEE-ACM
15 years 2 months ago
A research demonstration of code bubbles
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
Andrew Bragdon, Steven P. Reiss, Robert C. Zelezni...
ICSE
2010
IEEE-ACM
15 years 2 months ago
Flexible architecture conformance assessment with ConQAT
The architecture of software systems is known to decay if no counter-measures are taken. In order to prevent this architectural erosion, the conformance of the actual system archi...
Florian Deissenboeck, Lars Heinemann, Benjamin Hum...
ICSE
2010
IEEE-ACM
15 years 2 months ago
CoDesign: a highly extensible collaborative software modeling framework
Large, multinational software development organizations face a number of issues in supporting software design and modeling by geographically distributed architects. To address the...
Jae young Bang, Daniel Popescu, George Edwards, Ne...
ICSE
2010
IEEE-ACM
15 years 2 months ago
Using dynamic execution traces and program invariants to enhance behavioral model inference
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garci...
ICSE
2010
IEEE-ACM
14 years 11 months ago
LM: a miner for scenario-based specifications
We present LM, a tool for mining scenario-based specifications in the form of Live Sequence Charts, a visual language that extends sequence diagrams with modalities. LM comes with...
Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng K...