Sciweavers

15885 search results - page 334 / 3177
» Strategic Software Engineering
Sort
View
VSTTE
2005
Springer
16 years 26 days ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...
WER
2005
Springer
16 years 26 days ago
A Survey of Good Practices and Misuses for Modelling with i* Framework
Ilca Webster, Juliana Amaral, Luiz Márcio C...