Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Model checking and modular verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Automatic monitoring of software requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Monitoring Requirements: A Case Study
Proceedings of the 17th IEEE international conference on Automated software engineering
Requirements monitoring in dynamic environments
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Requirements monitoring in distributed environments
SDNE '95 Proceedings of the 2nd International Workshop on Services in Distributed and Networked Environments
Smart monitors for composed services
Proceedings of the 2nd international conference on Service oriented computing
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Representation, Verification, and Computation of Timed Properties in Web
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Static Verification of Control and Data inWeb Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Extending Semantic Web Service Description by Service Assumption
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Graphical scenarios for specifying temporal properties: an automated approach
Automated Software Engineering
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Dynamo + Astro: An Integrated Approach for BPEL Monitoring
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Towards an assume-guarantee theory for adaptable systems
SEAMS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Fault tolerant web service orchestration by means of diagnosis
EWSA'06 Proceedings of the Third European conference on Software Architecture
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Towards pro-active adaptation with confidence: augmenting service monitoring with online testing
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
A taxonomy of service engineering stakeholder types
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
Hi-index | 0.00 |