Sciweavers

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