SAS '96 Proceedings of the Third International Symposium on Static Analysis
Lightweight coarse-grained coordination: a scalable system-level approach
International Journal on Software Tools for Technology Transfer (STTT)
Model-driven development with the jABC
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Service-Oriented design: the roots
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Middleware: just another level for orchestration
Proceedings of the 2007 Workshop on Middleware for next-generation converged networks and applications
Hybrid test of web applications with webtest
TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Policy expression and checking in XACML, WS-Policies, and the jABC
TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Information and Software Technology
Hi-index | 4.10 |
Fully supporting end-to-end processes requires combining service-orientation--which takes an engineering approach to reducing the gap between software requirements and implementation--with model-driven design--which addresses the same problem in terms of well-understood mathematical structures.