2132 search results - page 209 / 427 » Automated software winnowing |
178
click to vote
SEMWEB
2007
Springer
16 years 18 days ago
2007
Springer
The discovery of suitable Web services for a given task is one of the central operations in Service-oriented Architectures (SOA), and research on Semantic Web services (SWS) aims a...
156
click to vote
COORDINATION
2005
Springer
16 years 17 hour ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
171
click to vote
MKM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
212
click to vote
IEAAIE
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
145
click to vote
TES
2004
Springer
15 years 11 months ago
2004
Springer
Web services represent the latest effort of the information technology industry to provide a framework for cross enterprise automation. One principal characteristic of this framewo...