Sciweavers

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