AD2US: an automated approach to generating usage scenarios from UML activity diagrams
Chandler, R.; Lam, C.P.; Li, H.
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.25 Abstract
| Full Text: PDF (240 KB)
Rights and Permissions
Systematic use case interviews for specification of automotive systems
Islam, S.; Omasreiter, H.
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.102 Abstract
| Full Text: PDF (248 KB)
Rights and Permissions
Enhancement of a use cases based requirements engineering approach with scenarios
Wu, L.; Sahraoui, H.
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.23 Abstract
| Full Text: PDF (424 KB)
Rights and Permissions
A temporal logic for input output symbolic transition systems
Aiguier, M.; Gaston, C.; Le Gall, P.; Longuet, D.; Touil, A.
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.19 Abstract
| Full Text: PDF (352 KB)
Rights and Permissions
Model checking interrupt-dependent software
Fidge, C.; Cook, P.
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.80 Abstract
| Full Text: PDF (240 KB)
Rights and Permissions
A lightweight integration of theorem proving and model checking for system verification
Kong, W.; Ogata, K.; Seino, T.; Futatsugi, K.
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.9 Abstract
| Full Text: PDF (288 KB)
Rights and Permissions
Model checking class specifications for Web applications
Choi, E.-H.; Watanabe, H.
Page(s): 9 pp.
Digital Object Identifier 10.1109/APSEC.2005.79 Abstract
| Full Text: PDF (480 KB)
Rights and Permissions
Model-driven semantic Web service composition
Groenmo, R.; Jaeger, M.C.
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.81 Abstract
| Full Text: PDF (304 KB)
Rights and Permissions
Client profiling for QoS-based Web service recommendation
Thio, N.; Karunasekera, S.
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.50 Abstract
| Full Text: PDF (5456 KB)
Rights and Permissions
A framework for application server based Web services management
Heqing Guan; Beihong Jin; Jun Wei; Wei Xu; Ningjiang Chen
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.8 Abstract
| Full Text: PDF (360 KB)
Rights and Permissions
On simulation of BPEL4WS/UML descriptions
Endo, S.; Miyamoto, T.; Fujii, T.; Kumagai, S.
Page(s): 7 pp.
Digital Object Identifier 10.1109/APSEC.2005.84 Abstract
| Full Text: PDF (264 KB)
Rights and Permissions
Integrating an idea generation method into a goal-oriented analysis method for requirements elicitation
Ohshiro, K.; Watahiki, K.; Saeki, M.
Page(s): 9 pp.
Digital Object Identifier 10.1109/APSEC.2005.73 Abstract
| Full Text: PDF (976 KB)
Rights and Permissions
An incremental analysis to workflow specifications
Hwai-Jong Hsu; Da-Li Yang; Feng-Jian Wang
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.36 Abstract
| Full Text: PDF (264 KB)
Rights and Permissions
Role and owner based business domain analysis
Nakatani, T.; Fujino, T.
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.96 Abstract
| Full Text: PDF (576 KB)
Rights and Permissions
Race-free scenarios of message sequence charts
Chen, C.-A.; Kalvala, S.; Sinclair, J.
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.93 Abstract
| Full Text: PDF (320 KB)
Rights and Permissions
An alternative approach to handling nondeterminism in model-oriented data-refinement
Deutsch, M.; Henson, M.C.
Page(s): 10 pp.
Digital Object Identifier 10.1109/APSEC.2005.29 Abstract
| Full Text: PDF (320 KB)
Rights and Permissions
Analysis of the Suzuki-Kasami algorithm with the Maude model checker
Ogata, K.; Futatsugi, K.
Page(s): 8 pp.
Digital Object Identifier 10.1109/APSEC.2005.40 Abstract
| Full Text: PDF (256 KB)
Rights and Permissions
Cart
