2700 search results - page 370 / 540 » The role of abstraction in software engineering |
173
click to vote
ISORC
2005
IEEE
16 years 23 hour ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
158
click to vote
EJIS
2007
15 years 6 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
183
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
183
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
ma's abstract data model consists of components, which are the structures that eventually define a schema as a whole. XML Schema's XML syntax, on the other hand, is not ...
185
click to vote
ISORC
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...