Sciweavers

5407 search results - page 30 / 1082
» The Software Engineering Global Model
Sort
View
AC
2006
Springer
14 years 9 months ago
Models and Methods in Comparative Genomics
Guillaume Bourque, Louxin Zhang
66
Voted
CSSE
2006
IEEE
14 years 9 months ago
Integrating social modelling and agent interaction through goal-oriented analysis
Iyad Rahwan, Thomas Juan, Leon Sterling
DAGSTUHL
2010
14 years 8 months ago
Modeling
Markus Geyer, Benjamin Hiller, Sascha Meinert
FOSSACS
2010
Springer
14 years 8 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
62
Voted
KBSE
2010
IEEE
14 years 8 months ago
Automated model grouping
Michael Becker, Volker Gruhn