Sciweavers

15885 search results - page 324 / 3177
» The Modest Software Engineer
Sort
View
VMCAI
2005
Springer
16 years 3 days ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
VSTTE
2005
Springer
16 years 3 days ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...
WER
2005
Springer
16 years 3 days ago
A Survey of Good Practices and Misuses for Modelling with i* Framework
Ilca Webster, Juliana Amaral, Luiz Márcio C...