469 search results - page 56 / 94 » Language Design for Meta-programming in the Software Composi... |
116
click to vote
ICAPR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
CSCW
2004
ACM
15 years 7 months ago
2004
ACM
Domain experts are essential for successful software development, but these experts may not recognize their ideas when abstracted into Unified Modeling Language (UML) or ontologie...
109
Voted
TAICPART
2006
IEEE
15 years 7 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
142
click to vote
ICSEA
2007
IEEE
15 years 7 months ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
112
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...