1376 search results - page 23 / 276 » Model-Driven Software Verification |
149
click to vote
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
123
click to vote
ATVA
2010
Springer
14 years 12 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
102
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
113
Voted
EDOC
2007
IEEE
15 years 8 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
111
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...