Sciweavers

1988 search results - page 11 / 398

» Engineering formal metatheory

19

EDBTW
2010
Springer

141views Software Engineering» more EDBTW 2010»

Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML

14 years 18 days ago

Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML

Download homes.dico.unimi.it

Françoise Gire, Hicham Idabal

claim paper

Read More »

17

APSEC
2000
IEEE

95views Software Engineering» more APSEC 2000»

Building Formal Models for Software Requirements

13 years 12 months ago

Building Formal Models for Software Requirements

Download plone.mat.univie.ac.at

Axel van Lamsweerde

claim paper

Read More »

16

ICSE
1998
IEEE-ACM

90views Software Engineering» more ICSE 1998»

Formalizing Design Patterns

13 years 11 months ago

Formalizing Design Patterns

Download www.eecs.ucf.edu

Tommi Mikkonen

claim paper

Read More »

16

CSMR
1997
IEEE

83views Software Engineering» more CSMR 1997»

13 years 11 months ago

Download www51.honeywell.com

Michael Löwe

claim paper

Read More »

21

WER
1998
Springer

70views Software Engineering» more WER 1998»

Guidelines From Organizational Requirements to Formal Specification

13 years 11 months ago

Guidelines From Organizational Requirements to Formal Specification

Download wer.inf.puc-rio.br

Fernanda M. R. Alencar, Jaelson Castro

claim paper

Read More »

« Prev « First page 11 / 398 Last » Next »