Sciweavers

69 search results - page 2 / 14

» ase 2007

12

ASE
2007

70views more ASE 2007»

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

13 years 5 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 »

13

ASE
2002

97views more ASE 2002»

The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments

13 years 4 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 »

8

ASE
1998

114views more ASE 1998»

Developing Knowledge-Based Systems with MIKE

13 years 4 months ago

Developing Knowledge-Based Systems with MIKE

Download reference.kfupm.edu.sa

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

claim paper

Read More »

12

ASE
1999

59views more ASE 1999»

Overlaps in Requirements Engineering

13 years 4 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 »

13

ASE
2004

117views more ASE 2004»

Model Checking for Combined Logics with an Application to Mobile Systems

13 years 4 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 »