Sciweavers

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