APSEC 1995 | Sciweavers

28

click to vote

APSEC
1995
IEEE

77views Software Engineering» more APSEC 1995»

From Scenarios to Timed Automata: Building Specifications from Users Requirements

14 years 3 months ago

Download www.cis.upenn.edu

Stéphane S. Somé, Rachida Dssouli, J...

claim paper

Read More »

38

click to vote

APSEC
1995
IEEE

183views Software Engineering» more APSEC 1995»

An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection

14 years 3 months ago

Download koasas.kaist.ac.kr

Thispaper presents the results of an experiment that compared error detection capability of voting, instrumentation,and Fagan inspection methods. Several experimentshave measured ...

Sun Sup So, Yongseop Lim, Sung Deok Cha, Yong Rae ...

claim paper

Read More »

30

click to vote

APSEC
1995
IEEE

108views Software Engineering» more APSEC 1995»

Development of Distributed Applications with Separation of Concerns

14 years 3 months ago

Download www.ercim.eu

The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...

António Rito Silva, Pedro Sousa, José...

claim paper

Read More »

31

click to vote

APSEC
1995
IEEE

97views Software Engineering» more APSEC 1995»

Testing of Object-Oriented Programs Based on Finite State Machines

14 years 3 months ago

Download www.cs.drexel.edu

Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha

claim paper

Read More »

32

click to vote

APSEC
1995
IEEE

112views Software Engineering» more APSEC 1995»

An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information

14 years 3 months ago

Download koasas.kaist.ac.kr

Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...

Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim

claim paper

Read More »

40

click to vote

APSEC
1995
IEEE

89views Software Engineering» more APSEC 1995»

Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures

14 years 3 months ago

Download www2.imm.dtu.dk

Dines Bjørner

claim paper