5034 search results - page 249 / 1007 » A Content-Centric Development Process Model |
155
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
115
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
149
Voted
WSKS
2009
Springer
15 years 8 months ago
2009
Springer
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...
116
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
117
click to vote
FMSB
2008
15 years 5 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...