Sciweavers

4919 search results - page 2 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
82
Voted
FOSSACS
2010
Springer
14 years 11 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
KBSE
2010
IEEE
14 years 11 months ago
Automated model grouping
Michael Becker, Volker Gruhn
98
Voted
SAC
2008
ACM
15 years 18 days ago
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gerv...