Sciweavers

69 search results - page 2 / 14

» ase 2007

62

ASE
2007

70views more ASE 2007»

JDiff: A differencing technique and tool for object-oriented programs

14 years 12 months ago

JDiff: A differencing technique and tool for object-oriented programs

Download pleuma.cc.gatech.edu

Taweesup Apiwattanapong, Alessandro Orso, Mary Jea...

claim paper

Read More »

78

ASE
2002

97views more ASE 2002»

The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments

14 years 11 months ago

The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments

Download www.cs.nott.ac.uk

Shahram Izadi, Pedro Coutinho, Tom Rodden, Gareth ...

claim paper

Read More »

69

Voted

ASE
1998

114views more ASE 1998»

Developing Knowledge-Based Systems with MIKE

14 years 11 months ago

Developing Knowledge-Based Systems with MIKE

Download reference.kfupm.edu.sa

Jürgen Angele, Dieter Fensel, Dieter Landes, ...

claim paper

Read More »

82

Voted

ASE
1999

59views more ASE 1999»

Overlaps in Requirements Engineering

14 years 11 months ago

Overlaps in Requirements Engineering

Download www.soi.city.ac.uk

Although overlap between specifications

George Spanoudakis, Anthony Finkelstein, David Til...

claim paper

Read More »

100

ASE
2004

117views more ASE 2004»

Model Checking for Combined Logics with an Application to Mobile Systems

14 years 11 months ago

Model Checking for Combined Logics with an Application to Mobile Systems

Download staff.science.uva.nl

In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...

Massimo Franceschet, Angelo Montanari, Maarten de ...

claim paper

Read More »

« Prev « First page 2 / 14 Last » Next »