9006 search results - page 89 / 1802 » Modeling Software |
118
click to vote
FDL
2004
IEEE
15 years 6 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
106
click to vote
EXPERT
2007
15 years 2 months ago
2007
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
100
click to vote
ECBS
2006
IEEE
15 years 6 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
125
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
102
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...