2253 search results - page 244 / 451 » An Approach to Specifying Software Frameworks |
166
click to vote
SETP
2007
15 years 7 months ago
2007
Requirement analysis continues to be one of the most critical and challenging phases during the software development process. Many object-oriented methodologies identify three pri...
176
click to vote
IEE
2008
15 years 6 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
157
click to vote
CBSE
2009
Springer
16 years 1 months ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
152
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
160
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...