Sciweavers

15778 search results - page 72 / 3156

» Aikido and software engineering

43

ICFEM
2000
Springer

269views Software Engineering» more ICFEM 2000»

Formal Foundations of Object-Oriented Modeling Notations

14 years 1 months ago

Formal Foundations of Object-Oriented Modeling Notations

Download www.lifia.info.unlp.edu.ar

Claudia Pons, Gabriel Baum

claim paper

Read More »

18

ICSE
2000
IEEE-ACM

81views Software Engineering» more ICSE 2000»

Inference of message sequence charts

14 years 1 months ago

Inference of message sequence charts

Download spic.kaist.ac.kr

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

34

ICSE
2000
IEEE-ACM

104views Software Engineering» more ICSE 2000»

Principled design of the modern Web architecture

14 years 1 months ago

Principled design of the modern Web architecture

Download www.ics.uci.edu

Roy T. Fielding, Richard N. Taylor

claim paper

Read More »

19

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Alcoa: the alloy constraint analyzer

14 years 1 months ago

Alcoa: the alloy constraint analyzer

Download sdg.csail.mit.edu

Daniel Jackson, Ian Schechter, Ilya Shlyakhter

claim paper

Read More »

25

ICSE
2000
IEEE-ACM

100views Software Engineering» more ICSE 2000»

Hyper/J: multi-dimensional separation of concerns for Java

14 years 1 months ago

Hyper/J: multi-dimensional separation of concerns for Java

Download swt.cs.tu-berlin.de

Harold Ossher, Peri L. Tarr

claim paper

Read More »

« Prev « First page 72 / 3156 Last » Next »