409 search results - page 57 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
117
click to vote
SIGSOFT
2007
ACM
16 years 14 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
IFM
1999
Springer
15 years 4 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
SIGCSE
2005
ACM
15 years 5 months ago
2005
ACM
Courses in Relational Databases largely use a domain-specific design approach different from that used in the rest of the curriculum. Use of the Unified Process, UML, and Design P...
100
click to vote
EDOC
2009
IEEE
15 years 3 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
ACSC
2004
IEEE
15 years 3 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...