277 search results - page 15 / 56 » Modeling by Form Transformation for End-User Initiative Deve... |
SE
2007
13 years 9 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
ICECCS
2005
IEEE
14 years 1 months ago
2005
IEEE
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
EUROMICRO
1996
IEEE
14 years 1 days ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
BMCBI
2007
13 years 7 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
Data modeling is an essential part of the software development process, and together with application modeling forms the core of the model-driven approach to software engineering....