Sciweavers

15778 search results - page 72 / 3156
» Aikido and software engineering
Sort
View
133
Voted
ICFEM
2000
Springer
15 years 4 months ago
Formal Foundations of Object-Oriented Modeling Notations
Claudia Pons, Gabriel Baum
66
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
Inference of message sequence charts
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
89
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
Principled design of the modern Web architecture
Roy T. Fielding, Richard N. Taylor
63
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
Alcoa: the alloy constraint analyzer
Daniel Jackson, Ian Schechter, Ilya Shlyakhter
72
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
Hyper/J: multi-dimensional separation of concerns for Java
Harold Ossher, Peri L. Tarr