3335 search results - page 381 / 667 » A Unified Approach to Modeling and Programming |
166
click to vote
ER
1994
Springer
15 years 10 months ago
1994
Springer
A logical database schema, e.g. a relational one, is an implementation of a speci cation, e.g. an entity-relationship diagram. Upcoming new data models and the necessity of seamle...
183
click to vote
COMPUTER
2006
15 years 6 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
167
click to vote
CSMR
2007
IEEE
16 years 29 days ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
176
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
196
click to vote
SPIN
2007
Springer
16 years 22 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...