Sciweavers

5407 search results - page 46 / 1082
» The Software Engineering Global Model
Sort
View
ASWEC
2004
IEEE
15 years 1 months ago
Combining Agent-Oriented Conceptual Modelling with Formal Methods
Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...
ASWSD
2006
Springer
15 years 1 months ago
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
Sandeep Neema, Sushil Birla, Shige Wang, Tripti Sa...
COMPSAC
2004
IEEE
15 years 1 months ago
Generating Regression Tests via Model Checking
Lihua Xu, Marcio S. Dias, Debra J. Richardson
61
Voted
IWSM
2000
Springer
15 years 1 months ago
A Generic Model for Assessing Process Quality
Manoranjan Satpathy, Rachel Harrison, Colin F. Sno...
ISPW
1991
IEEE
15 years 1 months ago
Process modeling paradigms: an evaluation
Reidar Conradi, Chunnian Liu, Maria Letizia Jacche...