3256 search results - page 327 / 652 » Applications of Formal Methods to System Design and Verifica... |
222
click to vote
ANSOFT
2002
15 years 6 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
153
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. A...
162
click to vote
DBKDA
2009
IEEE
15 years 10 months ago
2009
IEEE
Software systems in health care, such as disease and medical-record management, or financial applications, such as customer relationship and portfolio management, have very often...
155
click to vote
ECBS
2002
IEEE
15 years 11 months ago
2002
IEEE
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
193
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...