Sciweavers

15779 search results - page 368 / 3156
» Change-oriented software engineering
Sort
View
171
Voted
VMCAI
2005
Springer
16 years 1 months ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
VSTTE
2005
Springer
16 years 1 months ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...
WER
2005
Springer
16 years 1 months ago
A Survey of Good Practices and Misuses for Modelling with i* Framework
Ilca Webster, Juliana Amaral, Luiz Márcio C...
150
Voted
WER
2005
Springer
16 years 1 months ago
Reusable Knowledge for Achieving Privacy: A Canadian Health Information Technologies Perspective
Ilca Webster, Vera Ivanova, Luiz Marcio Cysneiros