Sciweavers

4919 search results - page 2 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
FOSSACS
2010
Springer
13 years 3 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
KBSE
2010
IEEE
13 years 3 months ago
Automated model grouping
Michael Becker, Volker Gruhn
SAC
2008
ACM
13 years 4 months 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...