Sciweavers

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