ASE 2006 | Sciweavers

8

click to vote

ASE
2006

70views more ASE 2006»

Tool-assisted unit-test generation and selection based on operational abstractions

13 years 4 months ago

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

15

click to vote

ASE
2006

78views more ASE 2006»

Using software evolution to focus architectural recovery

13 years 4 months ago

Download sunset.usc.edu

Ideally, a software project commences with requirements gathering and specification, reaches its major milestone with system implementation and delivery, and then continues, possi...

Nenad Medvidovic, Vladimir Jakobac

claim paper

Read More »

17

click to vote

ASE
2006

114views more ASE 2006»

Explicit modeling of semantics associated with composite states in UML statecharts

13 years 4 months ago

Download www.cs.uic.edu

: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...

Zhaoxia Hu, Sol M. Shatz

claim paper

Read More »

14

click to vote

ASE
2006

161views more ASE 2006»

Automated Prototyping of User Interfaces Based on UML Scenarios

13 years 4 months ago

Download www.iro.umontreal.ca

User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...

Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. K...

claim paper

Read More »

11

click to vote

ASE
2006

106views more ASE 2006»

Integrating COTS Software into Systems through Instrumentation and Reasoning

13 years 4 months ago

Download www.alexander-egyed.com

Commercial-off-the-shelf (COTS) software tends to be cheap, reliable, and functionally powerful due to its large user base. It has thus become highly desirable to incorporate COTS ...

Alexander Egyed, Robert Balzer

claim paper

Read More »

8

click to vote

ASE
2006

148views more ASE 2006»

PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool

13 years 4 months ago

Download www.cs.iastate.edu

Industry currently employs a product line approach to software development and deployment as a means to enhance quality while reducing development cost and time. This effort has cr...

Josh Dehlinger, Robyn R. Lutz

claim paper

Read More »

14

click to vote

ASE
2006

122views more ASE 2006»

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis

13 years 4 months ago

Download www.macs.hw.ac.uk

The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...

Andrew Ireland, Jamie Stark

claim paper

Read More »

10

click to vote

ASE
2006

110views more ASE 2006»

Runtime recovery and manipulation of software architecture of component-based systems

13 years 4 months ago

Download sei.pku.edu.cn

Recently, more attention is paid to the researches and practices on how to use software architecture in software maintenance and evolution to reduce their complexity and cost. The ...

Gang Huang, Hong Mei, Fuqing Yang

claim paper

Read More »

16

click to vote

ASE
2006

123views more ASE 2006»

Separating sequence overlap for automated test sequence generation

13 years 4 months ago

Download people.brunel.ac.uk

Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...

Robert M. Hierons

claim paper

Read More »

10

click to vote

ASE
2006

73views more ASE 2006»

A family of experiments to investigate the effects of groupware for software inspection

13 years 4 months ago