All Publications

Conferences / Journals

Year Type Publication
2010 Conference A. Shamsaei, A. Pourshahid, and D. Amyot, Business Process Compliance Tracking Using Key Performance Indicators, 6th Int. Workshop on Business Process Design (BPD 2010), September 2010, p. , DOI:
2010 Conference J. Hassine, AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps, Abstract State Machines, Alloy, B and Z (ABZ 2010), February 2010, p. 34-36, DOI:10.1007/978-3-642-11811-1_4
2010 Journal F. Molina, J. Pardillo,C. Cachero, A. Toval, An MDE Modeling Framework for Measurable Goal-Oriented Requirements, International Journal of Intelligent Systems (IJIS), August 2010, p. 757-783, DOI:10.1002/int.20430
2010 Conference S.A. Behnam, D. Amyot, and G. Mussbacher, Towards a Pattern-Based Framework for Goal-Driven Business Process Modeling, 8th Int. Conf. on Software Engineering Research, Management and Applications (SERA2010), Montréal, Canada, May 2010, p. , DOI:
2010 Journal J. Hassine, J. Rilling, R. Dssouli, An evaluation of timed scenario notations, Journal of Systems and Software, February 2010, p. 326-350, DOI:10.1016/j.jss.2009.09.014
2010 Conference S. Ghanavati, D. Amyot, A. Siena, A. Perini, and A. Susi, Towards a Framework for Business Process Compliance, Int. Workshop on Goal-based Business Process Engineering (WGBP 2010), October 2010, p. , DOI:
2010 Journal Y. Feng and L.-S. Lee, The Importance Analysis of Use Case Map with Markov Chains , International Journal of Computer Science and Information Security (IJCSIS), January 2010, p. 55-62, DOI:
2010 Journal A. Pourshahid, G. Mussbacher, D. Amyot, and M. Weiss, Toward an Aspect-Oriented Framework for Business Process Improvement, International Journal of Electronic Business, - 2010, p. , DOI:
2010 Journal D. Amyot, S. Ghanavati, J. Horkoff, G. Mussbacher, L. Peyton, E. Yu, Evaluating Goal Models within the Goal-oriented Requirement Language, International Journal of Intelligent Systems (IJIS), August 2010, p. 841-877, DOI:10.1002/int.20433
2010 Conference C. Kuziemsky, X. Liu, L. Peyton, Leveraging Goal Models and Performance Indicators to Assess Health Care Information Systems, 7th Int. Conf. on the Quality of Information and Communications Technology (QUATIC 2010), September 2010, p. , DOI:
2010 Conference P. Karpati, G. Sindre and A.L. Opdahl, Visualizing Cyber Attacks with Misuse Case Maps, 16th Int. Working Conf. on Requirements Engineering: Foundation for Software Quality (REFSQ 2010), June 2010, p. 262-275, DOI:10.1007/978-3-642-14192-8_24
2010 Conference D. Arnold, J.-P. Corriveau, and W. Shi, Scenario-Based Validation: Beyond the User Requirements Notation, 21st Australian Software Engineering Conference (ASWEC 2010), Auckland, New Zealand, April 2010, p. , DOI:
2010 Journal G. Mussbacher, D. Amyot, J. Araújo, and A. Moreira, Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study, Transactions on Aspect-Oriented Software Development VII, - 2010, p. 23-68, DOI:
2010 Conference S. Ghanavati, D. Amyot, A. Siena, A. Susi, and A. Perini, Making Business Processes Law Compliant, First Workshop on Law Compliancy Issues in Organisational Systems and Strategies (iComply 2010), July 2010, p. , DOI:
2010 Conference T. Okamura, M. Nakamura, and H. Igaki, Finding Optimal Energy-Saving Operations in Home Network System Based on Effects between Appliances and Environment, 8th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT 2010), Kuching, Malaysia, June 2010, p. , DOI:
2010 Journal S. Ghanavati, A. Siena, D. Amyot, A. Perini, L. Peyton, and A. Susi, Integrating Business Strategies with Requirement Models of Legal Compliance, International Journal of Electronic Business, - 2010, p. , DOI:
2010 Journal G. Mussbacher, J. Whittle, D. Amyot, Modeling and Detecting Semantic-Based Interactions in Aspect-Oriented Scenarios, Requirements Engineering Journal, - 2010, p. , DOI:10.1007/s00766-010-0098-4
2010 Journal S. Jaskó, T. Dulaia, D. Muhia, K. Tarnaya, Test aspect of requirement specification, Computer Standards & Interfaces, January 2010, p. 1-9, DOI:10.1016/j.csi.2008.12.005
2009 Conference G. Mussbacher, D. Amyot, Goal and Scenario Modeling, Analysis, and Transformation with jUCMNav, 31st International Conference on Software Engineering (ICSE-Companion 2009), Vancouver, Canada, May 2009, p. 431-432, DOI:10.1109/ICSE-COMPANION.2009.5071047
2009 Conference S. Ghanavati, D. Amyot, L. Peyton, Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology, 17th IEEE Int. Requirements Engineering Conf. (RE’09), Atlanta, USA, September 2009, p. 133-142, DOI:10.1109/RE.2009.42
2009 Conference G. Mussbacher, D. Amyot, and J. Whittle, Semantic-Based Aspect Interaction Detection with Goal Models, 10th Int. Conf. on Feature Interactions (ICFI 2009), June 2009, p. 176-182, DOI:10.3233/978-1-60750-014-8-176
2009 Conference Truong Ninh Thuan, Tran Thi Mai Thuong, To Van Khanh, and Nguyen Viet Ha, Checking the Consistency between UCM and PSM Using a Graph-Based Method, 1st Asian Conf. on Intelligent Information and Database System (ACIIDS 09), April 2009, p. 190-195, DOI:10.1109/ACIIDS.2009.66
2009 Conference G. Mussbacher, S. Ghanavati, D. Amyot, Modeling and Analysis of URN Goals and Scenarios with jUCMNav, 17th IEEE Int. Requirements Engineering Conf., Atlanta, USA, September 2009, p. 383-384, DOI:10.1109/RE.2009.56
2009 Conference G. Mussbacher, J. Whittle, D. Amyot, Semantic-Based Interaction Detection in Aspect-Oriented Scenarios, 17th IEEE Int. Requirements Engineering Conf. (RE'09), Atlanta, USA, September 2009, p. 203-212, DOI:10.1109/RE.2009.13
2009 Conference J.A. Díaz Pace, J.P. Carlino, M. Blech, A. Soria, and M.R. Campo, Assisting the Synchronization of UCM-based Architectural Documentation with Implementation, IEEE/IFIP Conf. on Software Architecture and European Conference on Software Architecture (WICSA/ECSA 2009), September 2009, p. 151-160, DOI:10.1109/WICSA.2009.5290801
2009 Conference N.Turajlić, S. Nešković, and M. Vučković, Mesto Mera Performansi U Modelima Poslovnih Procesa (Where Performance Measures Fit Into Business Process Models, in Serbian), Simpozijum INFOTEH-JAHORINA 2009, Belgrad, Serbia, March 2009, p. 598-602, DOI:
2009 Conference J. Hassine, Early Schedulability Analysis with Timed Use Case Maps, SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, September 2009, p. 98-114, DOI:10.1007/978-3-642-04554-7_7
2009 Conference X. Liu, L. Peyton, and C. Kuziemsky, A Requirement Engineering Framework for Electronic Data Sharing of Health Care Data Between Organizations, 4th International MCETECH Conference on e-Technologies , May 2009, p. 279-289, DOI:10.1007/978-3-642-01187-0_24
2009 Journal J. Hassine, J. Rilling, R. Dssouli, Use Case Maps as a property specification language, Software and Systems Modeling, April 2009, p. 205-220, DOI:10.1007/s10270-007-0076-6
2009 Conference E. Lavendelis and J. Grundspenkis, MASITS - A Tool for Multi-Agent Based Intelligent Tutoring System Development, 7th Int. Conf. on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2009), March 2009, p. 490-500, DOI:10.1007/978-3-642-00487-2_52
2009 Conference S. Ghanavati, A. Siena, A. Perini, D. Amyot, L. Peyton, and A. Susi , A Legal Perspective on Business: Modeling the Impact of Law, 4th International MCETECH Conference on e-Technologies, May 2009, p. 267-278, DOI:10.1007/978-3-642-01187-0_23
2009 Conference G. Mussbacher, D. Amyot, T. Weigert, and T. Cottenier, Feature Interactions in Aspect-Oriented Scenario Models, 10th Int. Conf. on Feature Interactions (ICFI 2009), June 2009, p. 75-90, DOI:10.3233/978-1-60750-014-8-75
2009 Conference D. Amyot, J. Horkoff, D. Gross, G. Mussbacher , A Lightweight GRL Profile for i* Modeling, 3rd Int. Workshop on Requirements, Intentions and Goals in Conceptual Modeling (RIGiM 2009), ER Workshops, Gramado, Brazil, November 2009, p. 254-264, DOI:10.1007/978-3-642-04947-7_31
2009 Conference G. Mussbacher, D. Amyot, Heterogeneous Pointcut Expressions, Early Aspects Workshop @ ICSE09, Vancouver, Canada , May 2009, p. 8-13, DOI:10.1109/EA.2009.5071577
2009 Conference M.R. Abid, D. Amyot, S.S. Somé, and G. Mussbacher, A UML Profile for Goal-Oriented Modeling, SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, September 2009, p. 133-148, DOI:10.1007/978-3-642-04554-7_9
2009 Conference G. Mussbacher, D. Amyot, On Modeling Interactions of Early Aspects with Goals, Early Aspects Workshop @ ICSE09, Vancouver, Canada, May 2009, p. 14-19, DOI:10.1109/EA.2009.5071578
2009 Conference A. Soria, J.A. Díaz-Pace, and M.R. Campo, Tool Support for Fault Localization Using Architectural Models, 2009 European Conference on Software Maintenance and Reengineering (CSMR), March 2009, p. 59-68, DOI:10.1109/CSMR.2009.42
2009 Conference G. Mussbacher, D. Amyot, Extending the User Requirements Notation with Aspect-Oriented Concepts, SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, September 2009, p. 115-132, DOI:10.1007/978-3-642-04554-7_8
2009 Conference A. Pourshahid, G. Mussbacher, D. Amyot, M. Weiss, An Aspect-Oriented Framework for Business Process Improvement, 4th International MCETECH Conference on e-Technologies, May 2009, p. 290-305, DOI:10.1007/978-3-642-01187-0_25
2009 Conference C. Dongmo, J. A. van der Poll, Use Case Maps as an Aid in the Construction of a Formal Specification, 7th Int. Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS-2009), May 2009, p. 3-13, DOI:
2009 Journal 张 睿,刘晓霞 (R. Zhang, X.-X. Liu), 基于 URN 的特征冲突过滤方法 (Feature Interaction Filtering Method Based on URN), 计 算 机 工 程 (Computer Engineering), November 2009, p. 45-47, DOI:
2009 Journal A. Pourshahid, P. Chen, D. Amyot, A.J. Forster, S. Ghanavati, L. Peyton, M. Weiss, Business Process Management with the User Requirements Notation, Electronic Commerce Research, December 2009, p. 269-316, DOI:10.1007/s10660-009-9039-z
2009 Conference S.A. Behnam, D. Amyot, A.J. Forster, L. Peyton, A. Shamsaei, Goal-Driven Development of a Patient Surveillance Application for Improving Patient Safety, 4th International MCETECH Conference on e-Technologies, May 2009, p. 290-305, DOI:10.1007/978-3-642-01187-0_6
2009 Conference G. Mussbacher, D. Amyot, J. Whittle, Refactoring-Safe Modeling of Aspect-Oriented Scenarios, 12th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, USA, October 2009, p. 286-300, DOI:10.1007/978-3-642-04425-0_21
2008 Conference G. Mussbacher, J. Whittle, and D. Amyot, Towards Semantic-Based Aspect Interaction Detection, 1st International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML 2008), Toulouse, France, September 2008, p. , DOI:
2008 Conference D. Amyot and G. Mussbacher, Development of Telecommunications Standards and Services with the User Requirements Notation, Joint ITU-T and SDL Forum Society workshop on "ITU System Design Languages", Geneva, Switzerland, September 2008, p. , DOI:
2008 Conference G. Mussbacher, D. Amyot, Assessing the Applicability of Use Case Maps for Business Process and Workflow Description, 3rd Int. MCeTech Conference on eTechnologies,, January 2008, p. 219-222, DOI:10.1109/MCETECH.2008.18
2008 Conference G. Mussbacher, D. Amyot, J. Araújo, and A. Moreira, Modeling Software Product Lines with AoURN, Early Aspects Workshop @ AOSD08, Brussels, Belgium, March 2008, p. , DOI:http://doi.acm.org/10.1145/1404946.1404948
2008 Conference A. Pourshahid, P. Chen, D. Amyot, A.J. Forster, S. Ghanavati, L. Peyton, M. Weiss, Toward an integrated User Requirements Notation framework and tool for Business Process Management, 3rd Int. MCeTech Conference on eTechnologies, January 2008, p. 3-15, DOI:http://doi.ieeecomputersociety.org/10.1109/MCETECH.2008.30
2008 Journal K. Pousttchi, A modeling approach and reference models for the analysis of mobile payment use cases, Electronic Commerce Research and Applications, - 2008, p. 182-201, DOI:10.1016/j.elerap.2007.07.001
2008 Conference D. Amyot and J.B. Yan, Flexible Verification of User-Defined Semantic Constraints in Modelling Tools, 18th Int. Conf. of Computer Science and Software Engineering (CASCON), October 2008, p. , DOI:http://doi.acm.org/10.1145/1463788.1463798
2008 Conference Truong Ninh Thuan, Tran Vu Viet Anh, and Nguyen Viet Ha, Consistency between UCM and PSMs in component models, IEEE Intern. Conf. on Research, Innovation and Vision for the Future in Computing & Communication Technologies, Addendum Contribution, July 2008, p. 184-189, DOI:
2008 Conference S. Jaskó, T. Dulai, and D.Muhi, Combined Test Model, Int. Electronic Conference on Computer Science, November 2008, p. 406-408, DOI:10.1063/1.3037105
2008 Conference G. Mussbacher, Aspect-Oriented User Requirements Notation: Aspects in Goal and Scenario Models, Models in Software Engineering - Workshops and Symposia at MoDELS 2007, June 2008, p. 305-316, DOI:10.1007/978-3-540-69073-3_32
2008 Journal A. Medve, Advanced steps with standardized languages in the re-engineering process, Computer Standards & Interfaces, July 2008, p. 315-322, DOI:10.1016/j.csi.2007.09.004
2008 Conference M.R. Abid, D. Amyot, and S. Somé, A UML Profile for Goal-Oriented Modelling, Innovation 2008 - Telelogic User Group Conference, Austin, USA, October 2008, p. , DOI:
2008 Conference D. Amyot, H. Becha, R. Bræk, and J.E.Y. Rossebø, Next Generation Service Engineering, ITU-T "Innovations in NGN" Kaleidoscope Academic Conference, Geneva, Switzerland, May 2008, p. 195-202, DOI:10.1109/KINGN.2008.4542266
2008 Conference S. Ghanavati, D. Amyot, and L. Peyton, Comparative Analysis between Document-based and Model-based Compliance Management Approaches, First Int. Workshop on Requirements Engineering and Law (RELAW 2008), Barcelona, Spain, September 2008, p. 35-39, DOI:http://doi.ieeecomputersociety.org/10.1109/RELAW.2008.2
2008 Conference Ákos Szőke, A Proposed Method for Automated Project Scheduling using Goals and Scenarios, 16th IEEE Int. Requirements Engineering Conf. (RE’08), Barcelona, Spain, September 2008, p. 339-340, DOI:10.1109/RE.2008.23
2008 Conference M. Weiss and H. Mouratidis, Selecting Security Patterns that Fulfill Security Requirements, 16th IEEE Int. Requirements Engineering Conf. (RE'08), September 2008, p. 169-172, DOI:10.1109/RE.2008.32
2007 Conference J. Hassine, J. Rilling and R. Dssouli, Formal Verification of Use Case Maps with Real Time Extensions, SDL-Forum 2007, September 2007, p. 225-241, DOI:10.1007/978-3-540-74984-4_14
2007 Conference M. Shiri, J. Hassine, and J. Rilling, Modification Analysis Support at the Requirements Level, IWPSE 2007: 9th Int. Workshop on Principles of Software Evolution, Dubrovnik, Croatia , September 2007, p. 43-50, DOI:
2007 Journal G. Mussbacher, D. Amyot, and M. Weiss, Visualizing Early Aspects with Use Case Maps, LNCS Journal on Transactions on Aspect-Oriented Software Development, November 2007, p. 105-143, DOI:10.1007/978-3-540-75162-5_5
2007 Conference M. Shiri, J. Hassine, and J. Rilling, A Requirement Level Modification Analysis Support Framework, 3rd IEEE Software Evolvability Workshop, Paris, France, October 2007, p. 67-74, DOI:10.1109/SE.2007.9
2007 Journal L. Peyton, S. Ghanavati, D. Amyot, Designing for Privacy Compliance and Performance Management in Health Care, Design Principles & Practices, - 2007, p. 13-26, DOI:
2007 Conference S. Ghanavati, D. Amyot, and L. Peyton , Towards a Framework for Tracking Legal Compliance in Healthcare, 19th Int. Conf. on Advanced Information Systems Engineering (CAiSE'07), June 2007, p. 218-232, DOI:10.1007/978-3-540-72988-4_16
2007 Conference G. Mussbacher, D. Amyot, J. Araújo, A. Moreira, M. Weiss, Visualizing Aspect-Oriented Goal Models with AoGRL, Second International Workshop on Requirements Engineering Visualization (REV’07), October 2007, p. , DOI:10.1109/REV.2007.11
2007 Journal M. Weiss, B. Esfandiari, and Y. Luo, Towards a classification of web service feature interactions, Computer Networks, February 2007, p. 359-381, DOI:10.1016/j.comnet.2006.08.003
2007 Conference G. Mussbacher, D. Amyot, J. Whittle, M. Weiss, Flexible and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM), Early Aspects: Current Challenges and Future Directions - 10th International Workshop, March 2007, p. 19-38, DOI:10.1007/978-3-540-76811-1_2
2007 Conference S. Ghanavati, D. Amyot, L. Peyton, A Requirements Management Framework for Privacy Compliance, 10th Workshop on Requirements Engineering (WER 2007), May 2007, p. 80-91, DOI:
2007 Conference A. Pourshahid, T. Tran, Modeling Trust in E-Commerce: An Approach Based on User Requirements, Proc. 9th Int. Conference on Electronic Commerce (ICEC-07), August 2007, p. 413-421, DOI:10.1145/1282100.1282179
2007 Conference A. Pourshahid, T. Tran, A Visualization Approach for Modeling Trust in E-Commerce, 2007 Canadian Conference on Electrical and Computer Engineering (CCECE-07), April 2007, p. 832-835, DOI:10.1109/CCECE.2007.213
2007 Conference J. Kealey and D. Amyot, Enhanced Use Case Map Traversal Semantics, 13th SDL Forum (SDL'07), September 2007, p. 133-149, DOI:10.1007/978-3-540-74984-4_9
2007 Conference Yuriko Sawatani, Applying SW and Requirement Engineering Methods to Business Modeling, INFORMS International 2007, Puerto Rico , July 2007, p. , DOI:
2007 Conference A. Pourshahid, P. Chen, D. Amyot, M. Weiss, and A. Forster, Business Process Monitoring and Alignment: An Approach Based on the User Requirements Notation and Business Intelligence Tools, 10th Workshop on Requirements Engineering (WER 2007), May 2007, p. 149-159, DOI:
2007 Conference M. Shiri, J. Hassine, and J. Rilling, Feature Interaction Analysis: A Maintenance Perspective, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Atlanta, USA, November 2007, p. 437-440, DOI:10.1145/1321631.1321703
2007 Conference J. Brown, R. Gawley, I. Spence, P. Kilpatrick, C. Gillan, and R Bashroush, Requirements Modelling and Design Notations for Software Product Lines, First International Workshop on Variability Modelling of Software-intensive Systems, Limerick, Ireland, January 2007, p. , DOI:
2007 Conference 풍아평 (Yaping Feng), 이이섭 (Lee-Sub Lee), Identifying Importance Scenarios from Use Case Maps (유즈케이스 맵을 사용한 중요 시나리오 도출), 한국정보기술학회 2007년도 하계학술발표논문집, June 2007, p. 441-446, DOI:
2007 Journal A. Pourshahid, T. Tran, Toward an Effective Trust Management System for E-Commerce: Modeling Trust Components and Processes Using URN, Journal of Business and Technology (JBT), - 2007, p. , DOI:
2007 Conference Gunter Mussbacher, Aspect-Oriented User Requirements Notation, Models 2007 Doctoral Symposium, October 2007, p. , DOI:10.1007/978-3-540-69073-3_32
2007 Conference Gunter Mussbacher, Evolving Use Case Maps as a Scenario and Workflow Description Language, 10th Workshop on Requirements Engineering (WER'07), Toronto, Canada, May 2007, p. 56-67, DOI:
2006 Conference J.-F. Roy, J. Kealey, and D. Amyot, Towards Integrated Tool Support for the User Requirements Notation, SAM 2006: Language Profiles - Fifth Workshop on System Analysis and Modelling, May 2006, p. 198-215, DOI:10.1007/11951148_13
2006 Conference D.A. Velasquez and M. Weiss , Goal-Oriented Design of Business Models and Software Architectures, 2006 Canadian Conference on Electrical and Computer Engineering (CCECE-06), May 2006, p. 510-513, DOI:10.1109/CCECE.2006.277576
2006 Journal S.J. Bleistein, K., Cox, J. Verner, and K.T. Phalp, Requirements engineering for e-business advantage, Requirements Engineering, March 2006, p. 4-16, DOI:10.1007/s00766-005-0012-7
2006 Conference J. Hassine, J. Rilling, and R. Dssouli, Timed Use Case Maps, SAM 2006: Language Profiles - Fifth Workshop on System Analysis and Modelling, May 2006, p. 99-114, DOI:10.1007/11951148_7
2006 Conference G. Mussbacher, M. Weiss, and D. Amyot, Formalizing Architectural Patterns with the Goal-oriented Requirement Language, Fifth Nordic Pattern Languages of Programs Conference (Viking PLo P?'06), September 2006, p. , DOI:
2006 Conference J.Kealey, Y. Kim, D. Amyot, and G. Mussbacher, Integrating An Eclipse-Based Scenario Modeling Environment With A Requirements Management System, 2006 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE06), May 2006, p. 2432-2435, DOI:10.1109/CCECE.2006.277748
2006 Conference Martín Blech, Juan P. Carlino, J. Andrés Díaz Pace, Alvaro Soria, Keeping Design Documentation Updated through Synchronization of Use Case Maps with Implementation, 7th Argentine Symposium on Software Engineering (ASSE 2006), Mendoza, Argentina, September 2006, p. , DOI:10.1007/978-3-540-74984-4_9
2006 Conference G. Mussbacher, D, Amyot, and M. Weiss, Visualizing Aspect-Oriented Requirements Scenarios with Use Case Maps, International Workshop on Requirements Engineering Visualization (REV 2006), September 2006, p. , DOI:10.1109/REV.2006.9
2006 Conference J. Kealey and D. Amyot, Towards the Automated Conversion of Natural-Language Use Cases to Graphical Use Case Maps, 2006 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE06), May 2006, p. 2377-2380, DOI:10.1109/CCECE.2006.277646
2006 Conference W. Wu and T.P. Kelly, Managing Architectural Design Decisions for Safety-Critical Software Systems , 2nd Int. Conf. on the Quality of Software Architectures (Qo SA? 2006), Västerås, Sweden, June 2006, p. 59-77, DOI:10.1007/11921998_9
2006 Conference D. Amyot, H. Farah, and J.-F. Roy, Evaluation of Development Tools for Domain-Specific Modeling Languages, SAM 2006: Language Profiles - Fifth Workshop on System Analysis and Modelling, May 2006, p. 183-197, DOI:10.1007/11951148_12
2006 Conference M. Galster, A. Eberlein, and M. Moussavi, Transition from Requirements to Architecture: A Review and Future Perspective, Seventh ACIS Int. Conf. on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06), Las Vegas, USA, June 2006, p. 9-16, DOI:10.1109/SNPD-SAWN.2006.73
2006 Conference W. Wu and T.P. Kelly, Deriving Safety Requirements as Part of System Architecture Definition, Proc. 24th Int. System Safety Conference, Albuquerque, USA, August 2006, p. , DOI:
2005 Conference H.N. Castejón Martínez, Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps, 12th SDL Forum (SDL 2005), June 2005, p. 339-359, DOI:10.1007/11506843_24
2005 Journal P. Leelaprute, M. Nakamura, K. Matsumoto, and T. Kikuno, Derivation and Evaluation of Feature Interaction Prone Scenarios with Use Case Maps, IEICE Transactions on Communications (電子情報通信学会論文誌), July 2005, p. 1237-1247, DOI:
2005 Conference M. Weiss and D. Amyot, Designing and Evolving Business Models with URN, Montreal Conference on eTechnologies (MCETECH05), January 2005, p. 149-162, DOI:
2005 Journal D.B. Petriu, C.M. Woodside, Software performance models from system scenarios, Performance Evaluation, June 2005, p. 65-89, DOI:10.1016/j.peva.2004.09.005
2005 Conference A. Hamou-Lhadj, E. Braun, D. Amyot, and T. Lethbridge, Recovering Behavioral Design Models from Execution Traces, 9th European Conference on Software Maintenance and Reengineering (CSMR), March 2005, p. 112-121, DOI:10.1109/CSMR.2005.46
2005 Conference P. Wu and C.M. Woodside, An Aggregation Approach to Constructing Hybrid Layered Queueing Models, 7th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS7), September 2005, p. , DOI:
2005 Journal D. Amyot, M. Weiss, and L. Logrippo, Generation of Test Purposes from Use Case Maps, Computer Networks, December 2005, p. 643-660, DOI:10.1016/j.comnet.2005.05.006
2005 Conference A. Rys, C. Jedrzejek, and A. Figaj, Use case maps as an extension of UML for system integration and verification , ECOOP Workshop on Architecture-Centric Evolution (ACE 2005), July 2005, p. , DOI:
2005 Conference M. Weiss, More Patterns for Web Applications, Tenth European Conf. on Pattern Languages of Programs (Euro PLo P? 2005), July 2005, p. 21-34, DOI:
2005 Journal Gusztáv Adamis, Róbert Horváth, Zoltán Pap, Katalin Tarnay, Standardized languages for telecommunication systems , Computer Standards & Interfaces, March 2005, p. 191-205, DOI:10.1016/j.csi.2004.09.005
2005 Conference G. Regev and A. Wegmann, Where do goals come from: the underlying principles of goal-oriented requirements engineering, 13th IEEE Int. Conf. on Requirements Engineering (RE'05), August 2005, p. 353-362, DOI:10.1109/RE.2005.80
2005 Conference J. Hassine, J. Rilling, J.Hewitt, and R. Dssouli, Change Impact Analysis for Requirement Evolution using Use Case Maps, 8th International Workshop on Principles of Software Evolution (IWPSE 2005), September 2005, p. 81-90, DOI:10.1109/IWPSE.2005.8
2005 Journal H. Saiedian, P. Kumarakulasingam, and M. Anan, Scenario-Based Requirements Analysis Techniques for Real-Time Software Systems: A Comparative Evaluation, Requirements Engineering, January 2005, p. 22-33, DOI:10.1007/s00766-004-0192-6
2005 Conference D. Amyot, J.-F. Roy, and M. Weiss, UCM-Driven Testing of Web Applications, 12th SDL Forum (SDL 2005), June 2005, p. 247-264, DOI:10.1007/11506843_18
2005 Conference M. Weiss and D. Amyot, Design and Evolution of e-Business Models, 7th International IEEE Conference on E-Commerce Technology (CEC 2005), July 2005, p. 462-466, DOI:10.1109/ICECT.2005.35
2005 Conference G. Dallons, P. Heymans, and I. Pollet, A template-based analysis of GRL, Workshop on Evaluating Modeling Methods for Systems Analysis and Design (EMMSAD'05), Porto, Portugal, June 2005, p. 493-504, DOI:
2005 Journal P. Leelaprute, M. Nakamura, K. Matsumoto, and T. Kikuno, Design and Evaluation of Feature Interaction Filtering with Use Case Maps, NECTEC Technical Journal, December 2005, p. 581-597, DOI:
2005 Conference M. Weiss, B. Esfandiari, and Y. Luo, Towards a Classification of Web Service Feature Interactions, International Conference on Service-Oriented Computing (ICSOC), Amsterdam, Netherlands, November 2005, p. 101-114, DOI:10.1016/j.comnet.2006.08.003
2005 Conference M. Weiss and D. Amyot, Business Model Design and Evolution, IAMOT 14th International Conference on Management of Technology, May 2005, p. , DOI:
2005 Conference D.B. Petriu, D. Amyot, M. Woodside, and B. Jiang, Traceability and Evaluation in Scenario Analysis, Scenarios: Models, Algorithms and Tools, - 2005, p. 134-151, DOI:10.1007/11495628_8
2005 Journal M. Weiss and D. Amyot, Business Process Modeling with URN, International Journal of E-Business Research, July 2005, p. 63-90, DOI:
2005 Conference J. Hassine, J. Rilling, and R. Dssouli, An ASM Operational Semantics for Use Case Maps, 13th IEEE International Requirement Engineering Conference (RE05), September 2005, p. 467-468, DOI:10.1109/RE.2005.10
2005 Journal M. Weiss and B. Esfandiari, On Feature Interactions among Web Services, International Journal of Web Services Research, October 2005, p. 21-45, DOI:
2005 Conference M. Curiel, M.A. Pérez, and R. Gonzalez, Applying SPE techniques for modeling a grid-enabled JAVA platform, Fifth Int. Work. on Software and Performance (WOSP'05 ), July 2005, p. 145-146, DOI:10.1145/1071021.1071036
2005 Journal J. Cheng, L. Yang, Y.-J. Kuai, and D.-F. Zhang, Non-deterministic feature interaction filtering method based on scenarios with Use Case Map (基于用例图呼叫处理场景的不确定性冲突过滤方法), Hunan Daxue Xuebao/Journal of Hunan University Natural Sciences, April 2005, p. 104-109 , DOI:
2005 Conference J. Hassine, R. Dssouli, and J. Rilling, Applying Reduction Techniques to Software Functional Requirement Specifications, System Analysis and Modeling - Fourth International SDL and MSC Workshop, SAM 2004, - 2005, p. 138-153, DOI:10.1007/b105884
2005 Conference J. Hewitt, J. Rilling, A Light-Weight Proactive Software Change Impact Analysis Using Use Case Maps, IEEE International Workshop on Software Evolvability 2005, October 2005, p. 41-46, DOI:10.1109/IWSE.2005.1
2005 Conference J. Hassine, J. Rilling, and R. Dssouli, An Abstract Operational Semantics for Use Case Maps, Formal Techniques for Networked and Distributed Systems (FORTE 2005); 25th IFIP WG 6.1 International Conference, October 2005, p. 366-380, DOI:10.1007/11562436_27
2005 Conference C.P. Ayala, C. Cares, J.P. Carvallo, G. Grau, M. Haya, G. Salazar, X. Franch, E. Mayol, C. Quer, A Comparative Analysis of i*-Based Goal-Oriented Modelling Languages, International Workshop on Agent-Oriented Software Development Methodologies (AOSDM '05), at the SEKE Conference, Taipei, China, July 2005, p. 43-50, DOI:
2005 Conference J. Kealey, E. Tremblay, J.-P. Daigle, J. McManus, O. Clift-Noël, and D. Amyot, jUCMNav: une nouvelle plateforme ouverte pour l'édition et l'analyse de modèles UCM, 5ième colloque sur les Nouvelles Technologies de la Répartition (NOTERE 2005), August 2005, p. 215-222, DOI:
2004 Journal S.J. Bleistein, A. Aurum, K. Cox, and P.K. Ray, Strategy-Oriented Alignment in Requirements Engineering: Linking Business Strategy to Requirements of e-Business Systems using the SOARE Approach, Journal of Research and Practice in Information Technology, November 2004, p. , DOI:
2004 Conference T. Abdelaziz, M. Elammari, and R. Unland, Visualizing a Multiagent-Based Medical Diagnosis System Using a Methodology Based on Use Case Maps, MATES 2004 : multiagent system technologies, September 2004, p. 198-212, DOI:10.1007/b100991
2004 Conference C.P. Ayala, C. Cares, J.P. Carvallo, G. Grau, M. Haya, G. Salazar, X. Franch, E. Mayol, C. Quer, Análisis Comparativo de Lenguajes de Modelado Orientados a Objetivos basados en i*, 4as. Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento (JIISIC 2004), Madrid, Spain, November 2004, p. 14, DOI:
2004 Conference D. Amyot, M. Weiss, and L. Logrippo, UCM-Based Generation of Test Goals, ISSRE'04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL), November 2004, p. , DOI:
2004 Journal E.A. Billard, Patterns of agent interaction scenarios as Use Case Maps, IEEE Transactions on Systems, Man and Cybernetics, August 2004, p. 1933- 1939, DOI:10.1109/TSMCB.2004.828192
2004 Conference E.A. Billard, Operating system scenarios as Use Case Maps, Fourth International Workshop on Software and Performance (WOSP 2004), January 2004, p. 266-277, DOI:10.1145/974044.974087
2004 Conference M. Weiss, B. Esfandiari, On feature interactions among Web services, IEEE International Conference on Web Services, July 2004, p. 88-95, DOI:10.1109/ICWS.2004.1314727
2004 Conference P.A. Buhler, J.M. Vidal, Enacting BPEL4WS Specified Workflows with Multiagent Systems, 2nd Workshop on Web Services and Agent-Based Engineering (WSABE), July 2004, p. 10, DOI:
2004 Conference S.J. Bleistein, K. Cox,, and J. Verner, Modeling Business Strategy in E-Business Systems Requirements Engineering, Fifth Int. Workshop on Conceptual Modeling Approaches for E-Business (eCOMO 2004), Shanghai, China, November 2004, p. 617-628, DOI:10.1007/b101694
2004 Conference S.J. Bleistein, K. Cox, and J. Verner, Requirements Engineering for e-Business Systems: Integrating Jackson Problem Diagrams with Goal Modeling and BPM, 11th Asia Pacific Software Engineering Conference (APSEC 2004), Busan, Korea,, November 2004, p. 410-417, DOI:10.1109/APSEC.2004.84
2004 Conference K. Saleh and A. Al-Zarouni, Capturing Non-Functional Software Requirements Using The User Requirements Notation, 2004 International Research Conference on Innovation in Information Technology (IIT'04), Dubai, October 2004, p. 222-230, DOI:
2004 Conference D. Amyot, A. Echihabi, and Y. He, UCMExporter: Supporting Scenario Transformations from Use Case Maps, 4ième colloque sur les Nouvelles Technnologies de la Répartition (NOTERE'04), June 2004, p. 390-405, DOI:
2004 Journal L. Liu, E. Yu, Designing Information Systems in Social Context: A Goal and Scenario Modelling Approach, Information Systems, April 2004, p. 187-203, DOI:10.1016/S0306-4379(03)00052-8
2003 Journal Amyot, D. and Eberlein, A., An Evaluation of Scenario Notations and Construction Approaches for Telecommunication., Telecommunications Systems Journal, September 2003, p. 61-94, DOI:10.1023/A:1025890110119
2003 Conference Amyot, D., Cho, D.Y., He, X., and He, Y., Generating Scenarios from Use Case Map Specifications., Third International Conference on Quality Software (QSIC'03), November 2003, p. 108-115, DOI:
2003 Journal H. de Bruin and H. van Vliet, Quality-Driven Software Architecture Composition, Journal of Systems and Software, June 2003, p. 269-284, DOI:10.1016/S0164-1212(02)00079-1
2003 Conference Petriu, D.B., Amyot, D., and Woodside, M. , Scenario-Based Performance Engineering with UCMNav, 11th SDL Forum (SDL'03), Stuttgart, Germany, July 2003, p. 18-35, DOI:10.1007/3-540-45075-0
2003 Conference A. Alsumait, A. Seffah, and T. Radhakrishnan, Use Case Maps: A Visual Notation for Scenario-Based User Requirements, 10th International Conference on Human-Computer Interaction (HCII'03), Crete, Greece, June 2003, p. 5, DOI:
2003 Conference He, Y., Amyot, D., and Williams, A., Synthesizing SDL from Use Case Maps: An Experiment., 11th SDL Forum (SDL'03), Stuttgart, Germany, July 2003, p. 117-136, DOI:10.1007/3-540-45075-0_7
2003 Conference J.A van der Poll, P. Kotze, A. Seffah, T. Radhakrishnan, and E. Alsumait, Combining UCMs and Formal Methods for Representing and Checking the Validity of Scenarios as User Requirements, 2003 annual research conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT 2003), Johannesburg, South Africa, September 2003, p. 59 - 68, DOI:
2003 Conference E. Folmer, J. van Gurp, J. Bosch, Scenario-based Assessment of Software Architecture Usability, Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction (SE-HCI), May 2003, p. 61-68, DOI:
2003 Conference C. Delnooz and L. Vrijnsen, Experiences with scenarios and Goal-Oriented RE, Landelijk Architectuur Congres (LAC) 2003, August 2003, p. 13, DOI:
2003 Journal Amyot, D., Introduction to the User Requirements Notation: Learning by Example., Computer Networks, June 2003, p. 285-301, DOI:doi:10.1016/S1389-1286(03)00244-5
2003 Conference M. Weiss, Pattern-Driven Design of Agent Systems: Approach and Case Study, 15th Conference on Advanced Information Systems Engineering (CAi SE?'03), June 2003, p. 711-723, DOI:10.1007/3-540-45017-3
2003 Conference S.J. Bleistein, K. Cox, and J. Verner, Problem Frames Approach for e-Business Systems, 8th Australian Workshop on Requirements Engineering (AWRE'03), Sydney, Australia, December 2003, p. , DOI:
2003 Conference V. Andronache and M. Scheutz, APOC - A Framework for Complex Agents, Proceedings of the AAAI Spring Symposium, - 2003, p. 18-25, DOI:
2002 Conference C. Kaewkasi and W. Rivepiboon, WWM: a practical methodology for Web application modeling, 26th Annual International Computer Software and Applications Conference (COMPSAC 2002), August 2002, p. 603-608, DOI:http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1045070
2002 Conference Daniel Amyot and Gunter Mussbacher, URN: Towards a New Standard for the Visual Description of Requirements, 3rd SDL and MSC Workshop (SAM02), June 2002, p. 21-37, DOI:10.1007/3-540-36573-7
2002 Conference C.T.L.L Silva, L.R.D. Bastos, R.S.M. Barros and J.F.B. Castro, XML Application for Non-Functional Requirements Management in Systems Project, 2nd Ibero American Conf. on Web Engineering (ICWE 2002), September 2002, p. 1-6, DOI:
2002 Conference R. Terzić and R. Rađenović, UCM: ITU-T Notacija za Specifikacije Zahteva za Telekomunikacione Sistene i Servise , X Telekomunikacioni Forum TELFOR'2002, Belgrade, Serbia, November 2002, p. 4, DOI:
2002 Conference R. Andrade an L. Logrippo, Reuse and Validation of Requirements for Mobile Systems, Simposio Brasileiro de redes de computadores (SBRC 2002), May 2002, p. 769-783, DOI:
2002 Journal Yan-Ming Liu, Ma Yuxiang, Ke-Chu Yi (刘彦明, 马玉祥, 易克初), Research on the feature interaction detection methods based on URN (基于URN的特征交互检测方法研究), Journal of Xidian University (Natural Science) - 西安电子科技大学学报(自然科学版) , June 2002, p. , DOI:
2002 Conference Lin Liu and Eric Yu, Designing Web-Based Systems in Social Context: A Goal and Scenario Based Approach, CAISE'02: Fourteenth International Conference on Advanced Information Systems Engineering, May 2002, p. 37-51, DOI:10.1007/3-540-47961-9_6
2002 Journal C. Ölvingson, N. Hallberg, T. Timpka, and K. Lindqvist, Requirements Engineering for Inter-Organizational Health Information Systems with Functions for Spatial Analyses: Modeling a WHO Safe Community Applying Use Case Maps, Methods of Information in Medicine, - 2002, p. 299-304, DOI:
2002 Conference M. Nakamura, P. Leelaprute, and T. Kikuno, Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps, 7th Int. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002) , January 2002, p. 237-244, DOI:http://doi.ieeecomputersociety.org/10.1109/WORDS.2002.1000058
2002 Conference Khalid H. Siddiqui and C. M. Woodside, Performance Aware Software Development (PASD) Using Resource Demand Budgets, WOSP 2002: Third International Workshop on Software and Performance, July 2002, p. 275-285, DOI:http://doi.acm.org/10.1145/584369.584412
2002 Conference Zhiming Cai and Eric Yu, Addressing Performance Requirements Using a Goal and Scenario-Oriented Approach, CAISE'02: Fourteenth International Conference on Advanced Information Systems Engineering, May 2002, p. 706-710, DOI:10.1007/3-540-47961-9
2002 Conference A. Alsumait, A. Seffah, and T. Radhakrishnan, Use Case Maps: A Roadmap for Usability and Software Integrated Specification, IFIP 17th World Computer Congress - TC13 Stream on Usability, Montreal, Canada, August 2002, p. 119-131, DOI:
2002 Conference Dorin Petriu and Murray Woodside, Software Performance Models from System Scenarios in Use Case Maps, Performance TOOLS 2002, April 2002, p. 141-158, DOI:10.1007/3-540-46029-2_9
2002 Conference Daniel Amyot and Gunter Mussbacher, URN - vers une nouvelle norme pour la description visuelle d’exigences, 9ième Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), May 2002, p. 225-242, DOI:
2002 Conference Daniel Amyot, Nikolai Mansurov, and Gunter Mussbacher, Understanding Existing Software with Use Case Map Scenarios, 3rd SDL and MSC Workshop (SAM02), June 2002, p. 124-140, DOI:10.1007/3-540-36573-7_9
2002 Conference Murray Woodside, Dorin Petriu, Khalid Siddiqui, Performance-related Completions for Software Specifications, 24th International Conference on Software Engineering, May 2002, p. 22-32, DOI:http://doi.acm.org/10.1145/581339.581346
2002 Conference R. andrade, W. Viana, D.P. Menezes, A high-level application framework for mobile system development: IMT-2000 case study, International Conference on Telecommunications, Beijing, China, June 2002, p. 321-325, DOI:
2002 Conference Dorin Petriu and Murray Woodside, Analysing Software Requirements Specifications for Performance, WOSP 2002: Third International Workshop on Software and Performance, July 2002, p. , DOI:http://doi.acm.org/10.1145/584369.584371
2001 Conference P. Araya and H. Antillanca, Una metodología de agentes, 1er. Workshop Chileno de Ingeniería de Software, Punta Arenas, Chile, November 2001, p. 11, DOI:
2001 Conference J. Cleland-Huang. C.K. Chang, H. Kim, A. Balakrishnan, Requirements-Based Dynamic Metrics In Object-Oriented Systems, Fifth IEEE Int. Symp. on Requirements Engineering (RE'01), August 2001, p. 212-221, DOI:10.110910.1109/ISRE.2001.948561
2001 Conference D. Amyot and G. Mussbacher , Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs), 23rd International Conference on Software Engineering (ICSE'01), May 2001, p. 743-744, DOI:
2001 Conference D. Petriu, M. Woodside , Generating a Performance Model from a Design Specification, Third Workshop on Generative Programming, ECOOP 2001, June 2001, p. 6, DOI:
2001 Conference J. Gordijn and J.M. Akkermans, e3-value: A Conceptual Value Modeling Approach for e-Business Development, First International Conference on Knowledge Capture (K-CAP 2001), Workshop Knowledge in e-Business, - 2001, p. 29-36, DOI:
2001 Conference A. Miga, D. Amyot, F. Bordeleau, D. Cameron, and M. Woodside , Deriving Message Sequence Charts from Use Case Maps Scenario Specifications , Meeting UML - Tenth SDL Forum (SDL'01), June 2001, p. 268-287, DOI:10.1007/3-540-48213-X_17
2001 Conference D. Amyot and A. Eberlein, An Evaluation of Scenario Notations for Telecommunication Systems Development, 9th International Conference on Telecommunications Systems (ICTS'01), March 2001, p. 20, DOI:
2001 Conference J. Gordijn, H. de Bruin and J.M. Akkermans , Scenario Methods for Viewpoint Integration in e-Business Requirements Engineering, 34nd Annual Hawaii International Conference on System Sciences (HICSS'01), January 2001, p. 10, DOI:10.1109/HICSS.2001.927063
2001 Conference G. Mussbacher, D. Amyot , A Collection of Patterns for Use Case Maps, First Latin American Conference on Pattern Languages of Programming (Sugar Loaf PLo P? 2001), October 2001, p. 26, DOI:
2001 Conference L. Liu and E. Yu , From Requirements to Architectural Design - Using Goals and Scenarios, From Software Requirements to Architectures Workshop (STRAW 2001), May 2001, p. 9, DOI:
2001 Conference D. Petriu and C.M. Woodside, Incorporating Performance Analysis in the Early Stages of Software Development Using Generative Programming Principles, Third Workshop on Generative Programming (@ ECOOP 2001), June 2001, p. , DOI:
2001 Conference H. de Bruin, H. van Vliet , Scenario-Based Generation and Evaluation of Software Architectures, Generative and Component-Based Software Engineering (GCSE'01), September 2001, p. 128-139, DOI:10.1007/3-540-44800-4_6
2001 Conference O. Monkewich, I. Sales, and R. L. Probert , OSPF Efficient LSA Refreshment Function in SDL, Tenth SDL Forum (SDL'01), June 2001, p. 300-315, DOI:10.1007/3-540-48213-X
2001 Conference K.H. Siddiqui, M. Woodside, Performance Aware Software Development Using Execution Time Budgets, 6th Mitel Conference (MICON 2001), August 2001, p. 14, DOI:10.1145/584369.584412
2000 Conference H. de Bruin, Scenario-Based Analysis of Component Compositions, Generative and Component-Based Software Engineering (GCSE'00), October 2000, p. 129-146, DOI:10.1007/3-540-44815-2_10
2000 Conference D. Amyot, Use Case Maps as a Feature Description Notation, FIREworks Feature Constructs Workshop, May 2000, p. 27-44, DOI:
2000 Conference F. Bordeleau, J.-P. Corriveau, and B. Selic (2000), A Scenario-Based Approach to Hierarchical State Machine Design, ISORC 2000: The 3rd IEEE International Symposium on Object-Oriented Real-time distributed Computing, March 2000, p. , DOI:10.1109/ISORC.2000.839514
2000 Conference R. Andrade, Applying Use Case Maps and Formal Methods to the Development of Wireless Mobile ATM Networks, Lfm2000: The Fifth NASA Langley Formal Methods Workshop, June 2000, p. , DOI:
2000 Conference R. Andrade and L. Logrippo, Reusability at the Early Development Stages of the Mobile Wireless Communication Systems, 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2000), July 2000, p. 11-16, DOI:
2000 Conference F. Bordeleau and D. Cameron (2000), On the Relationship between Use Case Maps and Message Sequence Charts, The 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM2000), June 2000, p. 123-138, DOI:
2000 Conference D. Amyot and G. Mussbacher, On the Extension of UML with Use Case Maps Concepts, The 3rd International Conference on the Unified Modeling Language (UML2000), October 2000, p. 16-31, DOI:10.1007/3-540-40011-7
2000 Conference U. Rastofer and F. Bellosa, An Approach to Component-Based Software Engineering for Distributed Embedded Real-Time Systems, SCI 2000 Invited Session on Generative and Component-based Software Engineering, July 2000, p. 690-694, DOI:
2000 Conference H. de Bruin, Use Case Maps A Technique for Communicating and Validating Behavioral Aspects of Architectures, Landelijk Architectuur Congres 2000, November 2000, p. 10, DOI:
2000 Journal D. Amyot and L. Logrippo, Use Case Maps and LOTOS for the Prototyping and Validation of a Mobile Group Call System, Computer Communications, July 2000, p. 1135-1157, DOI:10.1016/S0140-3664(99)00242-X
2000 Conference D. Amyot, L. Charfi, N. Gorse, T. Gray, L. Logrippo, J. Sincennes, B. Stepien, and T. Ware, Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS, Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'00), May 2000, p. 274-289, DOI:
2000 Conference L. Logrippo, Immaturity and Potential of Formal Methods: A Personal View, Feature Interactions in Telecommunications and Software Systems VI (FIW'00), May 2000, p. 9-13, DOI:
2000 Conference M. Nakamura, T. Kikuno, J. Hassine, and L. Logrippo, Feature Interaction Filtering with Use Case Maps at Requirements Stage, Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'00), May 2000, p. 163-178, DOI:
2000 Conference I.S. Sales and R.L. Probert, From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language, 18th Brazilian Symposium on Computer Networks (SBRC2000), May 2000, p. , DOI:
1999 Conference R.J.A. Buhr , Making Behaviour a Concrete Architectural Concept, 32nd Annual Hawaii International Conference on System Sciences (HICSS'99), Hawaii, USA, January 1999, p. , DOI:10.1109/HICSS.1999.773097
1999 Conference J. Hodges and J. Visser, Accelerating Wireless Intelligent Network Standards Through Formal Techniques, IEEE 1999 Vehicular Technology Conference (VTC'99), Houston, Texas, USA , - 1999, p. , DOI:10.1109/VETEC.1999.778276
1999 Conference H. Morimoto, M. Koizumi, H., Inoue, and K. Nitadori, AHS road-to-vehicle communication system, IEEE/IEEJ/JSAI International Conference on Intelligent Transportation Systems, October 1999, p. 327-334, DOI:10.1109/ITSC.1999.821076
1999 Conference D. Amyot and R. Andrade , Description of Wireless Intelligent Network Services with Use Case Maps, 17th Brazilian Symposium on Computer Networks (SBRC'99), Salvador, Brazil, May 1999, p. 418-433, DOI:
1999 Conference D. Amyot, R. Andrade, L. Logrippo, J. Sincennes, and Z. Yi , Formal Methods for Mobility Standards, IEEE 1999 Emerging Technology Symposium on Wireless Communications & Systems, Dallas (TX), USA, April 1999, p. 14.1 - 14.7 , DOI:10.1109/ETWCS.1999.897332
1999 Conference J. Gordijn and J.C. van Vliet , Integral Design of E-Commerce Systems: Aligning the Business with Software Architecture through Scenarios, ICT-Architecture in the BeNeLux (ICT 1999), - 1999, p. , DOI:
1999 Conference M. Elammari and W. Lalonde, An Agent-Oriented Methodology: High-Level and Intermediate Models, Proc. of the 1st Int. Workshop. on Agent-Oriented Information Systems (AOIS'99), June 1999, p. , DOI:
1999 Conference W. Craig Scratchley, C.M. Woodside , Evaluating Concurrency Options in Software Specifications, Seventh International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'99), College Park, Maryland, USA, October 1999, p. 330-338, DOI:10.1109/MASCOT.1999.805071
1999 Conference D. Amyot, L. Logrippo, R.J.A. Buhr, and T. Gray , Use Case Maps for the Capture and Validation of Distributed Systems Requirements, Fourth International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, June 1999, p. 44-53, DOI:10.1109/ISRE.1999.777984
1999 Conference H. de Bruin, A Grey-Box Approach to Component Composition, Generative and Component-Based Software Engineering (GCSE 99), September 1999, p. 195-209, DOI:
1998 Conference R.J.A. Buhr, A Possible Design Notation for Aspect Oriented Programming, ECOOP Workshop on Aspect Oriented Programming, July 1998, p. , DOI:
1998 Conference D. Amyot, N. Hart, L. Logrippo, and P. Forhan, Formal Specification and Validation using a Scenario-Based Approach: The GPRS Group-Call Example, Objec Time Workshop on Research in OO Real-Time Modeling, January 1998, p. , DOI:
1998 Conference R.J.A. Buhr, D. Amyot, M. Elammari, D. Quesnel, T. Gray, and S. Mankovski, Feature-Interaction Visualization and Resolution in an Agent Environment, Fifth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'98), July 1998, p. 135-149, DOI:
1998 Journal R.J.A. Buhr, Use Case Maps as Architectural Entities for Complex Systems, Transactions on Software Engineering, August 1998, p. 1131-1155, DOI:10.1109/32.738343
1998 Conference R.J.A. Buhr, M. Elammari, T. Gray, and S. Mankovski, Applying Use Case Maps to Multi-agent Systems: A Feature Interaction Example, 31st Annual Hawaii International Conference on System Sciences (HICSS'98), Hawaii, USA, January 1998, January 1998, p. 171-179, DOI:10.1109/HICSS.1998.654771
1998 Conference R.J.A. Buhr, M. Elammari, T. Gray, and S. Mankovski, A High Level Visual Notation for Understanding and Designing Collaborative, Adaptive Behaviour in Multiagent Systems, 31st Annual Hawaii International Conference on System Sciences (HICSS'98), Hawaii, USA, January 1998, p. 180-, DOI:10.1109/HICSS.1998.654772
1998 Conference R.J.A. Buhr, D. Amyot, M. Elammari, D. Quesnel, T. Gray, and S. Mankovski , High Level, Multi-Agent Prototypes from a Scenario-Path Notation: A Feature-Interaction Example, Third Conference on Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM'98), February 1998, p. 255-276, DOI:
1997 Conference D. Amyot, L. Logrippo, and R.J.A. Buhr, Spécification et conception de systèmes communicants : une approche rigoureuse basée sur des scénarios d'usage, Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'97), October 1997, p. 159-174, DOI:
1997 Conference F. Bordeleau and R.J.A. Buhr, The UCM-ROOM Design Method: from Use Case Maps to Communicating State Machines, Conference on the Engineering of Computer-Based Systems (ECBS), March 1997, p. 167-179, DOI:10.1109/ECBS.1997.581850
1997 Conference R.J.A. Buhr and A. Hubbard, Use Case Maps for Engineering Real Time and Distributed Computer Systems: A Case Study of an ACE-Framework Application, 30th Annual Hawaii International Conference on System Sciences (HICSS'97), January 1997, p. 218-229, DOI:10.1109/HICSS.1997.663177
1996 Conference R.J.A. Buhr, Design Patterns at Different Scales, Pattern Languages of Programs (PLoP96), June 1996, p. 15, DOI:
1996 Conference R.J.A. Buhr, Use Case Maps for Attributing Behaviour to System Architecture, Fourth International Workshop on Parallel and Distributed Real Time Systems (WPDRTS), April 1996, p. 3-10, DOI:
1995 Conference R.J.A. Buhr, Issues in Bringing Object Orientation and Real Time Together, OOPSLA'95 Real Time Workshop, October 1995, p. 4, DOI:
1995 Conference R.J.A. Buhr, Use Case Maps: A New Model to Bridge the Gap Between Requirements and Detailed Design, OOPSLA'95 Real Time Workshop, October 1995, p. 4, DOI:
1995 Conference D. Amyot, F. Bordeleau, R.J.A. Buhr, and L. Logrippo, Formal support for design techniques: a Timethreads-LOTOS approach, FORTE VIII, 8th International Conference on Formal Description Techniques, October 1995, p. 57-72, DOI:
Number of topics: 221

Theses

Year Publication
2010 Yan Gao, Import/Export of URN Models in Z.151 XML File Format with jUCMNav, January 2010
2010 Xia Liu, A Requirement Engineering Framework for Assessing Health Care Information Systems, January 2010
2008 Jun Biao Yan, Static Semantics Checking Tool for jUCMNav, March 2008
2008 Tawfig M. Abdelaziz, Towards a Comprehensive Agent-Oriented Software Engineering Methodology, October 2008
2008 Jameleddine Hassine, Formal Semantics and Verification of Use Case Maps, April 2008
2008 Alireza Pourshahid, A URN-Based Methodology for Business Process Monitoring, March 2008
2008 Maryam Shiri, Supporting UCM Requirements Evolution by Means of Formal Concept Analysis, February 2008
2008 Humberto Nicolás Castejón, Collaborations in Service Engineering: Modeling, Analysis and Execution, November 2008
2008 Muhammad Rizwan Abid, UML Profile for Goal-oriented Modelling, August 2008
2007 J. Kealey, Enhanced Use Case Map Analysis and Transformation Tooling, September 2007
2007 S. Ghanavati, A Compliance Framework for Business Processes Based on URN, May 2007
2007 Jean-François Roy, Requirement Engineering with URN: Integrating Goals and Scenarios, March 2007
2007 P. Chen, Goal-Oriented Business Process Monitoring: An Approach based on User Requirement Notation combined with Business Intelligence and Web Services, December 2007
2007 Christoph H. Störmer, Software Quality Attribute Analysis by Architecture Reconstruction (SQUA3RE), March 2007
2006 Martín Blech y Juan Pablo Carlino, ArchSync: Asistencia en la Sincronización de Documentación de Diseño con Implementación, October 2006
2005 B. Jiang, Combining Graphical Scenarios with a Requirements Management System, June 2005
2005 Y.X. Zeng, Transforming Use Case Maps to the Core Scenario Model Representation, June 2005
2005 Bas van der Raadt, Business-Oriented Exploration of Web Services Ideas - Combining Goal-Oriented and Value-Based Approaches, February 2005
2005 Yi Chu, Tool support for the Goal-oriented Requirements Language, August 2005
2005 William S Blackley, Application and Evaluation of Use Case Maps with UML in Object-Oriented Systems Development by Case Study, September 2005
2005 Shahbaz Maqbool, Transformation of a Core Scenario Model and Activity Diagrams into Petri Nets, September 2005
2004 Asmaa Alsumait, User Interface Requirements Engineering: A Scenario-Based Framework, August 2004
2003 Pengfei Wu, A Performance Model for a Network of Prototype Software Routers, June 2003
2002 R. Guan, From Requirements to Scenarios through Specifications: A Translation Procedure from Use Case Maps to LOTOS, September 2002
2002 Morten Vinje, An Auditing Framework for Service Provision in Mobil IPv6 Networks, August 2002
2002 Huai Liu, Multilevel Performance Analysis of Scenario Specification for a Presence System, October 2002
2002 Jaap Gordijn, Value-based Requirements Engineering Exploring Innovative e-Commerce Ideas, June 2002
2002 Eric D. Schabell, Resource Access in Generic Information Retrieval Systems, June 2002
2002 Xin He, Policy capturing and two level specifications of policies for human and software processing, March 2002
2001 R. Andrade , Capture, Reuse, and Validation of Requirements and Analysis Patterns for Mobile Systems, May 2001
2001 D.B. Petriu , Layered Software Performance Models Constructed from Use Case Map Specifications, May 2001
2001 L. Charfi, Formal Modeling and Test Generation Automation with Use Case Maps and LOTOS, February 2001
2001 J. Hassine, Feature Interaction Filtering and Detection with Use Case Maps and LOTOS, February 2001
2001 D. Amyot, Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS, September 2001
2001 I. Sales, A Bridging Methodology for Internet Protocols Standards Development, August 2001
2001 N. Gorse, The Feature Interaction Problem: Automatic Filtering of Incoherences & Generation of Validation Test Suites at the Design Stage, September 2001
2001 K.H. Siddiqui , Time/Performance Budgeting for Software Designs, November 2001
2000 Z. Yi, CNAP Specification and Validation: A Design Methodology Using LOTOS and UCM, - 2000
2000 W.C. Scratchley, Evaluation and Diagnosis of Concurrency Architectures, - 2000
1999 F. Bordeleau , A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines, December 1999
1998 A. Miga, Application of Use Case Maps to System Design With Tool Support, October 1998
1995 Eric Siu-Kwong Yu, Modelling strategic relationships for process reengineering, - 1995
1994 D. Amyot, Formalization of Timethreads Using LOTOS, December 1994
1993 Ronald S. Casselman, A Role-Based Architectural Model Applied to Object-Oriented Systems, August 1993
1992 Mark Vigder, Applying Formal Techniques to the Design of Concurrent Systems, July 1992
Number of topics: 45

Presentations / Tutorials

Year Presentation
1999 D. Amyot , Use Case Maps Quick Tutorial Version 1.0, September 1999
Number of topics: 1

Books / Book Chapters

Year Publication
2010 H. Becha, G. Mussbacher, D. Amyot, Modeling and Analyzing Non-Functional Requirements in Service Oriented Architecture with the User Requirements Notation, IGI Global, 2010, pp. , DOI:
2009 K. Saleh and G. Elshahry, Modeling Security Requirements for Trustworthy Systems, IGI Global, 2009, pp. 2657-2664, DOI:10.4018/978-1-60566-026-4.ch424
2009 A. Pourshahid, L. Peyton, S. Ghanavati, D. Amyot, P. Chen, and M. Weiss, Model-Based Validation of Business Processes, M. E. Sharpe Inc., 2009, pp. , DOI:
2007 Mussbacher, G., Amyot, D., and Weiss, M., Formalizing Patterns with the User Requirements Notation, Idea Group Inc., 2007, pp. 304-325, DOI:
2007 R. Matulevičius, P. Heymans, and A. L. Opdahl, Comparing GRL and KAOS using the UEML Approach, Springer London, 2007, pp. 77-88, DOI:
2007 Anna Medve, Enterprise Modelling with the joint use of User Requirements Notation (URN) and UML, Idea Group Publishing, 2007, pp. 314, DOI:
2007 M. Weiss and D. Amyot, Business Model Design and Evolution, World Scientific, 2007, pp. , DOI:
2006 G. Dallons, P. Heymans, and I. Pollet, Chapter VIII: A Template-Based Analysis of GRL, IGI Publishing, 2006, pp. 124-147, DOI:
2006 M. Weiss and D. Amyot, Business Process Modeling with the User Requirements Notation, Cybertech Publishing, 2006, pp. 162-193, DOI:
2002 T. Lethbridge and J. Singer, Studies of the Work Practices of Software Engineers, Springer-Verlag, 2002, pp. 51 - 72, DOI:
2001 B. Moulin, On the Convergence of Analysis and Design Methods for Multi-agent, Component-based and Object-oriented Systems, IGI Global, 2001, pp. 189-198, DOI:10.4018/978-1-878289-77-3.ch009
2000 Lawrence Chung, Brian A. Nixon, Eric Yu, John Mylopoulos, Non-functional requirements in software engineering, Kluwer Academic (Springer), 2000, pp. 472, DOI:
1999 R.J.A. Buhr, Understanding Macroscopic Behaviour Patterns in Object-Oriented Frameworks, with Use Case Maps (chapter 18), John Wiley & Sons, 1999, pp. 415-440, DOI:
1998 R.J.A.Buhr and R.S.Casselman [同作者作品], 用于面向对象系统开发的使用实例图 (Use Case Maps for Object Oriented Systems), Prentice Hall/Pearson, 1998, pp. 302, DOI:
1995 R.J.A. Buhr and R.S. Casselman, Use Case Maps for Object-Oriented Systems, Prentice Hall, 1995, pp. 302, DOI:
Number of topics: 15

Other Publications

Year Type Publication
2009 Other T. Okamura, M. Nakamura, and H. Igaki, ホームネットワークにおける環境への副作用を考慮した, IEICE Technical Report, November 2009, p. 29-34
2003 Other J.P. Almeida, M. Belaunde, E. Berg, K.-D. Engel, A. Gavras, S. Jakobsson, L.F. Pires, and J. Reznik, Considerations on telecom modelling languages, , December 2003, p. 17
2002 Other F. Bachmann, L. Bass, P. Clements, D. Garlan, J. Ivers, R. Little, R. Nord, and J. Stafford, Documenting Software Architecture: Documenting Behavior, , January 2002, p. 52
2001 Other E. Radzius, A Methodology for the Planning of a Scenario Based Test Program, , August 2001, p. 7
2001 Other J. Wloka, Use Case Maps und Software Engineering, , April 2001, p. 20
2001 Other G. Bush, S. Cranefield, and M.K. Purvis, The Styx agent methodology, Information Science Discussion Paper Series, - 2001, p. 9
2000 Other D. Cameron et al., Draft Specification of the User Requirements Notation, , November 2000, p.
1999 Other , NEW QUESTION 12: URN: User Requirements Notation, , November 1999, p.
1998 Other D. Amyot, Use Case Maps for the Design and the Validation of Interaction-Free Telephony Features, CITO #1430, November 1998, p.
1998 Other D. Amyot, Group Communication Server: A Scenario-Based Design Exercise, CITO report #1388, June 1998, p.
1997 Other R.J.A. Buhr, M. Elammari, T. Gray, S. Mankovski, and D. Pinard, Understanding and Defining the Behaviour of Systems of Agents with Use Case Maps, Second Conference on Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM'97), April 1997, p. 15
1996 Other R.J.A. Buhr, R.S. Casselman, and T.W. Pearce, Design Patterns with Use Case Maps: A Case Study in Reengineering an Object-Oriented Framework, , June 1996, p.
Number of topics: 12

-- Daniel Amyot - 04 Aug 2006

Topic revision: r6 - 05 Nov 2009 - 14:27:48 - Daniel Amyot
 
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback