Sciweavers

15794 search results - page 233 / 3159

» Agent-Oriented Software Engineering

186

ICFEM
2000
Springer

269views Software Engineering» more ICFEM 2000»

Formal Foundations of Object-Oriented Modeling Notations

15 years 9 months ago

Formal Foundations of Object-Oriented Modeling Notations

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

Claudia Pons, Gabriel Baum

claim paper

Read More »

105

ICSE
2000
IEEE-ACM

81views Software Engineering» more ICSE 2000»

Inference of message sequence charts

15 years 9 months ago

Inference of message sequence charts

Download spic.kaist.ac.kr

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

128

ICSE
2000
IEEE-ACM

104views Software Engineering» more ICSE 2000»

Principled design of the modern Web architecture

15 years 9 months ago

Principled design of the modern Web architecture

Download www.ics.uci.edu

Roy T. Fielding, Richard N. Taylor

claim paper

Read More »

101

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Alcoa: the alloy constraint analyzer

15 years 9 months ago

Alcoa: the alloy constraint analyzer

Download sdg.csail.mit.edu

Daniel Jackson, Ian Schechter, Ilya Shlyakhter

claim paper

Read More »

114

Voted

ICSE
2000
IEEE-ACM

100views Software Engineering» more ICSE 2000»

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

15 years 9 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 233 / 3159 Last » Next »