Objectiver


Notes:

Tools related to requirements engineering, such as OpenOME, Objectiver, and FAUST, are not capable of generating agent-oriented code (Agent-oriented programming).

Resources:

  • agenttool .. graphical development environment to help analyze, design, and implement multiagent systems
  • analysttool.com .. specifications. requirements tracking and management
  • faust-toolset .. developed to help reaching high quality in requirements document for complex systems
  • gatherspace.com .. requirements management software
  • irise.com .. best prototyping and wireframe tool with inline requirements management
  • mockupscreens.com .. mockup tools for analysts and consultants
  • objectiver.com .. power tool to engineer technical and business requirements
  • openome .. an open-source requirements engineering tool
  • raquest.com .. requirements management tool raquest
  • rmtrak.com .. a simple requirements management tool
  • scenarioplus.org.uk .. list of requirements management tools, requirements engineering tools

Wikipedia:

References:

See also:

agentTool | FAUST (Formal Analysis Using Specification Tools) | OpenOME (Organization Modelling Environment) | TAOM4E (Tool for Agent Oriented Modeling for Eclipse)


The quest for know-how, know-why, know-what and know-who: using KAOS for enterprise modelling
M Bernaert, G Poels – International Conference on Advanced Information …, 2011 – Springer
… Respect-IT: Objectiver, Vol. 2011 (2010), http://www.objectiver.com/ 29. Respect-IT: Respect-IT, Vol … Objectiver: A KAOS Tutorial, Vol. 2011 (2007), http://www.objectiver.com/ 34. Matulevicius, R., Heymans, P.: Visually Effective Goal Models Using KAOS …

A Comparative study of software requirements tools for secure software Development
MU Bokhari, ST Siddiqui – BVICAM? S International Journal of IT …, 2010 – bvicam.ac.in
Page 1. Proceedings of the 3rd National Conference; INDIACom-2009 Computing For Nation Development, February 26 – 27, 2009 Bharati Vidyapeeth’s Institute of Computer Applications and Management, New Delhi A Comparative …

Formal verification of a safety argumentation and application to a complex UAV system
J Brunel, J Cazin – Computer Safety, Reliability, and Security, 2012 – Springer
Page 317. Formal Verification of a Safety Argumentation and Application to a Complex UAV System Julien Brunel and Jacques Cazin ONERA-DTIM 2 Av Edouard Belin, BP 74025, F-31055 Toulouse Cedex, France {Julien. Brunel, Jacques. Cazin}@ onera. fr Abstract …

A mission-oriented approach for designing system-of-systems
E Silva, T Batista, F Oquendo – System of Systems Engineering …, 2015 – ieeexplore.ieee.org
… ISCRAM Conference. Baden-Baden, Germany. 2013 [13] Objectiver. http://www.objectiver.com [14] E. Silva and T. Batista “A Mission Oriented Tool for System- of-Systems Modeling”. Proc: 3rd Int. Workshop on Software Engineering for Systems-of-Systems (SESoS) …

Supporting quantitative assessment of requirements in goal orientation
R Darimont, C Ponsard – … Engineering Conference (RE), 2015 …, 2015 – ieeexplore.ieee.org
… A video is available online at http://www.objectiver.com/RE2015. Fig … 82–96. [13] COSMICON, “Measurement Spreadsheets,” http://www.cosmicon.com. [14] Respect-IT, “The Objectiver Goal-Oriented Requirements Engineering Tool,” http://www.objectiver.com, 2005 …

Design of a Smart Stick Prototype Using Goal Oriented Requirements Engineering Methodology
S Vinay, NN Shaikh, S Aithal – Power, 2010 – academia.edu
… Engineering. Proc. Radical Innovations of Software and Systems Engineering, LNCS, 2003. [10] Objectiver tool – http://www.objectiver.com/ [11] Blind-Accessible Shopping System Design / auth. Becker David [et al.]. – 2006 …

An eclipse plug-in to model system requirements and adaptation capabilities
L Baresi, L Pasquale – 2011 – ulir.ul.ie
… Service Composi- tions. PhD thesis, Politecnico di Milano (2011) 10. Objectiver. http://www.objectiver.com/ 11. Fondazione Bruno Kessler: Tool for Agent Oriented Modeling TAOM4E. http: //selab.fbk.eu/taom/ 12. Fuxman, A., Liu …

Using requirements engineering in an automatic security policy derivation process
M Graa, N Cuppens-Boulahia, F Autrel, H Azkia… – Data Privacy …, 2012 – Springer
… Digital Signal Processing for Multimedia Systems, 461–485 (1999) 18. Sa, RI: Objectiver: un atelier de gnie logiciel pour l’ingnierie des exigences (2004), http://www.objectiver.com 19. Sindre, G., Opdahl, A.: Templates for misuse case description. In: Proc …

Generating high-level Event-B system models from KAOS requirements models
C Ponsard, X Devroey – 2011 – deploy-eprints.ecs.soton.ac.uk
… Methods in System Design, vol. 30, num. 3, 2007. [19] Respect-IT, “Objectiver”, http://www.objectiver.com. [20] Rodin Open Source Project, “Rodin Event-B toolset”, http:// sourceforge.net/projects/rodin-b-sharp/. [21] Snook C., Butler …

Goal-Oriented Reasoning about Systems of Systems
C Ponsard, P Massonet, JC Deprez – ERCIM NEWS, 2015 – ercim-news.ercim.eu
Page 34. ERCIM NEWS 102 July 2015 34 Goal-Oriented Reasoning about Systems of Systems by Christophe Ponsard, Philippe Massonet and Jean-Christophe Deprez Reasoning about Systems of Systems has proved difficult …

Vinay S Niha Noor Shaikh Sridhar Aithal
NN Shaikh – 2010 – pdfs.semanticscholar.org
… Engineering. Proc. Radical Innovations of Software and Systems Engineering, LNCS, 2003. [10] Objectiver tool – http://www.objectiver.com/ [11] Blind-Accessible Shopping System Design / auth. Becker David [et al.]. – 2006 …

A Modular Requirements Engineering Framework for Web-Based Toolchain Integration
R Darimont, W Zhao, C Ponsard… – … Conference (RE), 2016 …, 2016 – ieeexplore.ieee.org
… Addison-Wesley Professional, 2006. [3] Respect-IT, “The Objectiver Goal-Oriented Requirements Engineering Tool,” http://www.objectiver.com, 2005. [4] S. Supakkul and L. Chung, “The RE-Tools: A multi-notational require- ments modeling toolkit,” in 20th IEEE Int. Req. Eng …

Reconcile Security Requirements for Intelligent Vehicles
M Singh, S Kim – ????????? ?????? ???, 2017 – dbpia.co.kr
… http://www.objectiver.com/fileadmin/download/docum ents/KaosTutorial.pdf [6] The tool has drawn up by respectIT, a spinout company from the University of Louvain. [7] http://www.objectiver.com/index.php?id=4 [8] Mohamed …

Co-engineering Security and Safety Requirements for Cyber-Physical Systems
C Ponsard, P Massonet, G Dallons – ERCIM NEWS, 2016 – researchgate.net
… INOGRAMS and a follow-up project [L4]. Links: [L1] http://www.merge-project.eu [L2] http://www.objectiver.com [L3] http://articles.sae.org/14503 [L4] https://www.cetic.be/ INOGRAMS- 2104 References: [1] D. Schneider, E. Armengaud …

Goal-Oriented Co-Engineering of Security and Safety Requirements in Cyber-Physical Systems
C Ponsard, G Dallons, P Massonet – International Conference on …, 2016 – Springer
… 866–876. ACM (2016). 22. Respect-IT: Objectiver. http://?www.?objectiver.?com. 23. SAE: Recommended Practice J3061: Cybersecurity Guidebook for Cyber-Physical Vehicle Systems. http://?articles.?sae.?org/?14503. 24 …

Self-adaptive systems requirements modelling: Four related approaches comparison
M Ahmad, J Araújo, N Belloir, JM Bruel… – … (CMA@ RE), 2013 …, 2013 – ieeexplore.ieee.org
… Here we give emphasis on the goals development. We used the Objectiver tool http://www.objectiver.com/. C. SysML SYSML (System Modelling Language) is a general purpose modelling language for systems engineering applications …

A tool implementation of the Unified Requirements Modeling Language (URML) as Enterprise Architect Add-In
F Schneider, B Brügge, B Berenbach – researchgate.net
… 20, no. 1-2, pp. 3–50, 1993. [19] Objectiver. [Online]. Available: http://www.objectiver.com/index. php?id=4 [20] jUCMNav. [Online]. Available: http://jucmnav.softwareengineering.ca/ucm/bin/view/ ProjetSEG/WebHome Page 3. Some notes on how the URML Add-In will be …

gocc: A configuration compiler for self-adaptive systems using goal-oriented requirements description
H Nakagawa, A Ohsuga, S Honiden – Proceedings of the 6th …, 2011 – dl.acm.org
Page 1. gocc: A Configuration Compiler for Self-adaptive Systems Using Goal-oriented Requirements Description Hiroyuki Nakagawa The University of Electro-Communications Tokyo, Japan nakagawa@is.uec.ac.jp Akihiko …

A tool implementation of the unified requirements modeling language as enterprise architect add-in
F Schneider, B Bruegge… – … Conference (RE), 2013 …, 2013 – ieeexplore.ieee.org
… [Online]. Available: http://www.ifi.uzh.ch/rerg/research/adora.html [15] Objectiver. [Online]. Available: http://www.objectiver.com/index.php?id=4 [16] jUCMNav. [Online]. Available: http://jucmnav.softwareengineering.ca/ucm/bin/view/ProjetSEG/WebHome 335

OBJECT ORIENTED REQUIREMENTS ANALYSIS FOR A FLYWHEEL ENERGY STORAGE SYSTEM
RI Yamamoto, JR da Silva, O Horikawa, I da Silva – 2013 – abcm.org.br
… LAMSWEERDE A. Apresentação de Axel van Lamsweerde [Online]. – May de 2003. – 2012 de december de 15. – http://www.objectiver.com/fileadmin … 2012 de December de 14. – http://www.objectiver.com/fileadmin/ download/documents/KaosTutorial.pdf. ISSN 2176-5480 …

Data integration between objectiver and DB-Main: A case study of a Model-Driven Interoperability bridge
FJB Ruiz, JJG Molina, OD García – Model-Driven Engineering …, 2016 – ieeexplore.ieee.org
… and load the DB-Main projects. In addition, a plugin that exports historical data and schemas in XML format is being developed, and an 1http://www.db-main.be/ 2http://www.objectiver.com/ initial version of this plugin is supported …

Improvement of service development approaches
K Tetiana, G Larysa, S Alexander – … Technology (CriMiCo), 2012 …, 2012 – ieeexplore.ieee.org
… Rep. DKBS-TR-91-1. [7] http://www.info.ucl.ac.be/research/projects/AVL/ReqEng.html [8] http://www.objectiver.com/ [9] Quan Tran “NFR-Assistant: tool support for achieving quali- ty”, Application-Specific Systems and Software Engineering and Technology, 1999. ASSET ’99 …

Methodologies of requirements modeling: A comparasion between KAOS and Mind Maps
JAP Contó, JA Fabri, EC Genvigir… – … (CISTI), 2012 7th …, 2012 – ieeexplore.ieee.org
… Acesso em: 13 dez. 2011, 01:06. [5] Lamsweerde A. van. A KAOS Tutorial. v1. University of Louvain, Belgium: Respect it, 2007. Disponível em:<http://www.objectiver.com/fileadmin/ download/documents/KaosTu torial.pdf”>. Acesso em: 13 dez. 2011, 01:01 …

Quantitative Assessment of Goal Models within and beyond the Requirements Engineering Tool: a Case Study in the Accessibility Domain
C Ponsard, R Darimont – 2017 – pdfs.semanticscholar.org
… Conf. ICCHP, Linz, Austria. LNCS, vol. 4061 (July 2006) 12. Respect-IT: The Objectiver Goal-Oriented Requirements Engineering Tool. http://www.objectiver.com (2005) 13. Steinberg, D., Budinsky, F., Paternostro, M.: EMF: Eclipse Modeling Framework (2nd Edition) (2008) 14 …

An agile requirements elicitation approach based on NFRs and business process models for micro-businesses
R Macasaet, L Chung, JL Garrido, M Noguera… – Proceedings of the 12th …, 2011 – dl.acm.org
… [2] Respect-IT. 2007. KAOS Tutorial Version 1.0. URL = http://www.objectiver.com/fileadmin/ download/document s/KaosTutorial.pdf (Last accessed on March 10, 2011) [3] Lamsweerde, A. 2001. Goal Oriented Requirements Engineering: A Guided Tour …

A Model-Driven Engineering Approach for the Well-Being of Ageing People
A Debieche, A Wakjira – … AHA, MoBiD, MORE-BI, MReBA, QMMQ …, 2016 – books.google.com
Page 39. A Model-Driven Engineering Approach for the Well-Being of Ageing People Amanuel Alemayehu Koshima1, Vincent Englebert1 (B), Moussa Amani1, Abdelmounaim Debieche1, and Amanuel Wakjira2 1 PReCISE …

Genie in a Model? Why Model Driven Security will not secure your Web Application.
C Hochreiner, P Frühwirt, Z Ma, P Kieseberg… – …, 2014 – pdfs.semanticscholar.org
Page 1. Genie in a Model? Why Model Driven Security will not secure your Web Application Christoph Hochreiner1, Peter Frühwirt1?, Zhendong Ma2, Peter Kieseberg1, Sebastian Schrittwieser3, and Edgar Weippl1 1SBA Research …

A framework to evaluate complexity and completeness of KAOS goal models
P Espada, M Goulão, J Araújo – International Conference on Advanced …, 2013 – Springer
Page 1. C. Salinesi, MC Norrie, and O. Pastor (Eds.): CAiSE 2013, LNCS 7908, pp. 562–577, 2013. © Springer-Verlag Berlin Heidelberg 2013 A Framework to Evaluate Complexity and Completeness of KAOS Goal Models Patrícia Espada, Miguel Goulão, and João Araújo …

A POSE Process with Alloy and Perfect Developer
D Mannering – International Workshop on Applications and Advances …, 2011 – academia.edu
Page 38. A POSE Process with Alloy and Perfect Developer Derek Mannering General Dynamics UK Ltd. Castleham Road St. Leonards-On-Sea, UK, TN38 9NJ + 44 1424 798126 derek. mannering@ generaldynamics. uk. com …

Enterprise architecture software tool support for small and medium-sized enterprises: EASE
D Ingelbeen, M Bernaert – 2013 – aisel.aisnet.org
… 20. Rescher, N. (1977). Methodological pragmatism: A systems-theoretic approach to the theory of knowledge, University Press New York. 21. Respect-IT. (2010). “Objectiver.” from http://www.objectiver.com/. 22. Small Business Administration. (2011) …

An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and its Implementation
M Saeki, S Hayashi, H Kaiya – Quality Software (QSIC), 2010 …, 2010 – ieeexplore.ieee.org
… 1st International Symposium on Requirements Engineering (RE’93), 1993, pp. 34–41. [3] Objectiver: SiteHomePage, http://www.objectiver.com/. [4] Security and Dependability Tropos Tool: Home, http://sesa.dit.unitn.it/sttool/home.php?7 …

Conceptual Model of User Adaptive Enterprise Application
I Š?pulniece, J Grabis – Complex Systems Informatics and …, 2015 – csimq-journals.rtu.lv
… [17] Respect IT, “A KAOS tutorial, objectiver,” 2007. Available: http://www.objectiver.com/ fileadmin/download/documents/KaosTutorial.pdf [18] A. Magal and J. Word, “Integrated business processes with ERP systems,” Preliminary Edition …

Requirements engineering education using expert system and role-play training
T Nakamura, U Kai, Y Tachikawa – Teaching, Assessment and …, 2014 – ieeexplore.ieee.org
Page 1. Requirements Engineering Education using Expert System and Role-Play Training Taichi Nakamura Graduate School of Bionics, Computer and Media Sciences Tokyo University of Technology Tokyo, Japan nakamuratc@stf.teu.ac.jp …

A framework for validating task assignment in multiagent systems using requirements importance
H Nakagawa, N Yoshioka, A Ohsuga… – … Conference on Principles …, 2010 – Springer
Page 1. A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance Hiroyuki Nakagawa 1 , Nobukazu Yoshioka 2 , Akihiko Ohsuga 1 , and Shinichi Honiden 2,3 1 The University of Electro …

Method of non-functional requirements balancing during service development
L Globa, T Kot, A Reverchuk, A Schill – Journal of Theoretical and Applied …, 2012 – jtacs.org
… [9] http://www.info.ucl.ac.be/research/projects/AVL/ReqEng.html [10] http://www.objectiver.com/ [11] Quan Tran: NFR-Assistant: tool support for achieving quality, Application-Specific Systems and Software Engineering and Technology, 1999. ASSET ’99. Proceedings …

Using model driven security approaches in web application development
C Hochreiner, Z Ma, P Kieseberg… – Information and …, 2014 – Springer
… UMLsec. This evaluation focuses on the class and the deployment diagram, because these two diagrams cover all security requirements of our simple web application scenario. 1 http://www.objectiver.com 2 http://sectro.securetropos.org Page 8. 426 C. Hochreiner et al …

A Model-Driven Engineering Approach for the Well-Being of Ageing People
AA Koshima, V Englebert, M Amani, A Debieche… – … on Conceptual Modeling, 2016 – Springer
… among several concerns and offers alignment to other modeling languages such as goal modeling languages (GRL http://?www.?cs.?toronto.?edu/?km/?GRL, I\({}^star \) http://?www.?cs.?toronto. ?edu/?km/?istar, KAOS http://?www.?objectiver.?com/?index.?php??id …

Synthesizing a Composite Model for Runtime Monitoring and Adapting Goal Oriented Systems
SM Babamir, A Aghaei – Trends in Applied Sciences Research, 2011 – search.proquest.com
… Then, the controller computes some insulin dose and the needle set delivers it to the diabetic. Developed for depicting the goal-oriented software engineering, the Objectiver tools (http:waw.objectiver.com) used to develop present models …

Method of non-functional requirements balancing when service development
L Globa, T Kot, A Reverchuk, A Schill – its.kpi.ua
… 9. http://www.info.ucl.ac.be/research/projects/AVL/ReqEng.html 10. http://www.objectiver.com/ 11. Quan Tran “NFR-Assistant: tool support for achieving quality”, Application-Specific Systems and Software Engineering and Technology, 1999. ASSET ’99. Proceedings …

Towards tool-support for usable secure requirements engineering with CAIRIS
S Faily, I Fléchais – Security-Aware Systems Applications and …, 2012 – books.google.com
Page 297. 269 Chapter 15 Towards Tool-Support for Usable Secure Requirements Engineering with CAIRIS Shamal Faily University of Oxford, UK Ivan Fléchais University of Oxford, UK ABSTRACT Understanding how to better …

Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering
N Sannier, B Baudry, T Nguyen – Model-Driven Requirements …, 2011 – ieeexplore.ieee.org
Page 1. Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering Nicolas Sannier* **, Benoît Baudry** and Thuy Nguyen* * EDF R&D – STEP, 6 Quai Watier BP49 72148 …

Generating goal-oriented models from creative requirements using model driven engineering
F Wanderley, J Araujo – Model-Driven Requirements …, 2013 – ieeexplore.ieee.org
… This environment was chosen as it provides characteristics of 3 Freemind site – http://freemind. sourceforge.net/wiki/index.php/Main_Page 4 Objectiver site – http://www.objectiver.com/ 5 Google Hangout – http://www.google.com/intl/pt- BR_ALL/+/learnmore/hangouts …

Advanced approach to future service development
T Kot, L Globa, A Schill – Meeting of the European Network of Universities …, 2013 – Springer
… Chung, L., Nixon, BA, Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering, 472 p. Kluwer Academic Publishers, Boston (2000) 11. A KAOS Tutorial (2007), http://www.objectiver.com/fileadmin/download/documents/ KaosTutorial.pdf 12 …

Extraction of goals and their classification in the KAOS model using natural language processing
R Lezcano, L Alfonso, L Guzmán, J Alberto… – … . Revista chilena de …, 2015 – SciELO Chile
… 2004. [ Links ]. [2] Respect IT. “A KAOS Tutorial”. Objectiver 2007. Date of visit: July 7, 2013. URL: http://www.objectiver.com/fileadmin/download/documents/KaosTutorial.pdf [ Links ]. [3] F. Almisned and J. Keppen. “Requirements Analysis: Evaluating KAOS Models” …

Analyzing the understandability of Requirements Engineering languages for CSCW systems: A family of experiments
MA Teruel, E Navarro, V López-Jaquero… – Information and …, 2012 – Elsevier
A collaborative system is a special kind of software whose users can perform collaboration, communication and collaboration tasks. These systems usually have a.

Micro-business behavior patterns associated with components in a requirements approach
RJ Macasaet, M Noguera, ML Rodríguez… – Proceedings of the …, 2012 – dl.acm.org
… 2007. KAOS Tutorial Version 1.0. URL = http://www.objectiver.com/fileadmin/download/ document s/KaosTutorial.pdf (Last accessed on March 10, 2011) [12] Lamsweerde, A. 2001. Goal Oriented Requirements Engineering: A Guided Tour …

Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements
R Hassan, M Eltoweissy, S Bohner, S El-Kassas – IET software, 2010 – IET
Page 1. Published in IET Software Received on 19th July 2009 Revised on 30th November 2009 doi: 10.1049/iet-sen.2009.0059 ISSN 1751-8806 Formal analysis and design for engineering security automated derivation of formal software security specifications from …

Seamless Integration of Multirequirements in Complex Systems
F Galinier, JM Bruel, S Ebersold… – 2017 IEEE 25th …, 2017 – ieeexplore.ieee.org
… Some tools like Objectiver3 allow to express user 1http://www-03.ibm.com/software/products/ en/ratidoor 2http://www.3ds.com/products-services/catia/products/reqtify/ 3http://www.objectiver. com/ requirements and to refine them using the KAOS approach …

Defence R&D Canada–Valcartier
G Harvey – Contract, 2010 – cradpdf.drdc-rddc.gc.ca
Page 1. Requirements Engineering State-of-the-art Report Gaetane Harvey CGI Prepared By: Gaetane Harvey Conseillers en gestion informatique CGI Inc. 410, Charest Blvd, East, suite 700 Quebec, Quebec G1K 8G3 Contract …

A reference architecture for healthcare supportive home systems: missions establishment and validation.
LMG Rodríguez, F Oquendo, EY Nakagawa – 2017 – repositorio.icmc.usp.br
Page 1. UNIVERSIDADE DE SÃO PAULO Instituto de Ciências Matemáticas e de Computação ISSN 0103-2569 _____ A REFERENCE ARCHITECTURE FOR HEALTHCARE SUPPORTIVE …

Obtaining Agents and Entities from Natural Language
LA Lezcano, JA Guzmán-Luna, SA Gómez – New Trends in Networking …, 2015 – Springer
… 6. RESPECT IT. A KAOS Tutorial. Objectiver (2007).[Online], accesed 04 de july, 2013; Available: http://www.objectiver.com/fileadmin/download/documents/KaosTutorial.pdf. 7. R. Matulevi?ius, P. Heymans and A. Opdahl. “Ontological …

An abstract methodology for developing knowledge management systems
R Dehghani, R Ramsin – Innovations in Information Technology …, 2014 – ieeexplore.ieee.org
… Asia Pacific Software Engineering Conference, Nov. 2010, pp. 326–335. [16] “Objectiver: KAOS,” available at: http://www.objectiver.com/index.php?id=25 (Accessed 1 Jan. 2014). 978-1-4799-7212-8/14/$31.00 ©2014 IEEE 115

EXTREME: EXecuTable Requirements Engineering
E Roubtsova – Progressions and Innovations in Model-Driven …, 2013 – books.google.com
Page 83. 65 Chapter 3 EXTREME: EXecuTable Requirements Engineering, Management, and Evolution Ella Roubtsova Open University of The Netherlands, The Netherlands ABSTRACT Requirements engineering is a process …

An overview of requirements evolution
N Ernst, A Borgida, IJ Jureta, J Mylopoulos – Evolving Software Systems, 2014 – Springer
Page 1. Chapter 1 An Overview of Requirements Evolution Neil Ernst, Alexander Borgida, Ivan J. Jureta and John Mylopoulos Summary. Changing requirements are widely regarded as one of the most signif- icant risks for software systems development …

IMPULSE: a design framework for multi-agent systems based on model transformation
H Nakagawa, N Yoshioka, A Ohsuga… – Proceedings of the 2011 …, 2011 – dl.acm.org
Page 1. IMPULSE: a Design Framework for Multi-Agent Systems Based on Model Transformation Hiroyuki Nakagawa The University of Electro-Communications Chofu–shi, Tokyo, Japan nakagawa@is.uec.ac.jp Nobukazu Yoshioka …

An extension of the comparison between the requirements modeling methodologies: Mind Maps and KAOS
JAP Conto, JA Goncalves, A L’Erario… – … (CISTI), 2013 8th …, 2013 – ieeexplore.ieee.org
… Madrid, 2012. [7] Lamsweerde A. van. A KAOS Tutorial. v1. University of Louvain, Belgium: Respect it, 2007. Disponivel em <http://www.objectiver.com/fileadmin/download/documents/ KaosTu torial.pdf>. Acesso em: 11 Dez. 2012, 01:01. [8] BOVO, Viviani; HERMANN, Walther …

Towards Modelling and Analysis of Spatial and Temporal Requirements
M Touzani, C Ponsard – Requirements Engineering Conference …, 2016 – ieeexplore.ieee.org
… The way they relate to higher level goals is detailed in the next section. 1The plug-in can be downloaded from : http://www.objectiver.com/ packages/plugins/STPlugin.jar B. RQ2: Which methodological guidance for ST require- ments …

Reinventing Goal-Based Requirements Modeling.
V Shukla, G Auriol – CSDM (Posters), 2013 – pdfs.semanticscholar.org
… Towards requirements-driven information systems engineering: the tropos project. Information Systems, 27(6):365 – 389, 2002. 17. Objetiver. http://www.objectiver.com/, June 2013. 18. S. Supakkul and L. Chung. The re-tools: A multi-notational requirements modeling toolkit …

Instructional design of a requirements engineering education course for professional engineers
T Nakatani, T Tsumaki, T Tamai – Multimedia Services in Intelligent …, 2010 – Springer
Page 131. Chapter 6 Instructional Design of a Requirements Engineering Education Course for Professional Engineers Takako Nakatani1, Toshihiko Tsumaki2, and Tetsuo Tamai3 1 University of Tsukuba, Graduate School of Business Sciences nakatani@ gssm. otsuka …

A Discussion of BPMN 2.0
F Kossak, C Illibauer, V Geist, J Kubovy… – A Rigorous Semantics …, 2014 – Springer
… Journal of the Association for Information Systems pp. 333–363 (2009). 111. Respect-IT: A KAOS Tutorial. http://?www.?objectiver.?com/?fileadmin/?download/?documents/?KaosTutorial.? pdf. Accessed 2013-02-20. (2007). 115. Rücker, B., Schoettes, M.: fox modeler …

Managing OAM&P requirement conflicts
Z Chentouf – Journal of King Saud University-Computer and …, 2014 – Elsevier
Specifying consistent services at early project stages is a telecommunication service engineering challenge. Service logic inconsistencies, also known as featur.

A mapping model for assessing project effort from requirements
F Zickert, R Beck – Information Systems and e-Business Management, 2013 – Springer

AspectQuery: A method for identification of crosscutting concerns in the requirement phase
C He, C Tu – IEICE TRANSACTIONS on Information and Systems, 2013 – search.ieice.org
Page 1. IEICE TRANS. INF. & SYST., VOL.E96–D, NO.4 APRIL 2013 897 PAPER AspectQuery: A Method for Identification of Crosscutting Concerns in the Requirement Phase Chengwan HE †a) , Member and Chengmao TU †b) , Nonmember …

URN and the Argumentation Terrain
R Feodoroff – researchgate.net
Page 1. 16-Oct-15 Feodoroff All Rights Reserved: URN and the Argumentation Terrain V2.docx 1 URN and the Argumentation Terrain Agility through Design Rationale fit for use as Temporal Assurance Justifications Ray Feodoroff …

A model-based approach to aligning business goals with enterprise architecture
T Clark, B Barn – Progressions and Innovations in Model-Driven …, 2013 – books.google.com
Page 270. 252 Chapter 10 A Model-Based Approach to Aligning Business Goals with Enterprise Architecture Tony Clark Middlesex University, UK Balbir Barn Middlesex University, UK ABSTRACT Modern organizations need …

Conceptual modeling for the design of intelligent and emergent information systems
A Fayoumi, P Loucopoulos – Expert Systems with Applications, 2016 – Elsevier
A key requirement to today’s fast changing economic environment is the ability of organizations to adapt dynamically in an effective and efficient manner. Infor.

Evaluating goal models within the goal?oriented requirement language
D Amyot, S Ghanavati, J Horkoff… – … Journal of Intelligent …, 2010 – Wiley Online Library
By continuing to browse this site you agree to us using cookies as described in About Cookies. Remove maintenance message …

Modelling fine-grained access control policies in grids
B Aziz – Journal of Grid Computing, 2016 – Springer
Page 1. J Grid Computing (2016) 14:477–493 DOI 10.1007/s10723-015-9351-x Modelling Fine-Grained Access Control Policies in Grids Benjamin Aziz Received: 29 June 2015 / Accepted: 15 September 2015 / Published online …

Implementing a tool to Support KAOS-Beta Process Model Using EPF
M Tabatabaie – 2010 – etsmtl.ca
… [2] Emmanuelle Delor and Robert Darimont and Andre Rifaut. Software Quality Starts with the Modelling of Goal-Oriented Requirements. [Ac- cessed 20 Sep 2009] Available at:www.objectiver. com, 2009. [3] EPF Team. Help- Eclipse Process Framework Composer [online] …

A requirements-based approach for representing micro-business patterns
RJ Macasaet, M Noguera, ML Rodríguez… – … (RCIS), 2013 IEEE …, 2013 – ieeexplore.ieee.org
Page 1. A Requirements-Based Approach for Representing Micro-business Patterns RJ Macasaet1,2 Department of Software Research and Development 1Pentathlon Systems Resources Incorporated Manila, Philippines rjmacasaet@pentathlonsystems.com …

Exploring the impact of software requirements on system-wide goals: a method using satisfaction arguments and i* goal modelling
J Lockerbie, NAMD Maiden, J Engmann… – Requirements …, 2012 – Springer
Skip to main content Skip to sections This service is more advanced with JavaScript available, learn more at http://activatejavascript.org …

Cyber-Physical Systems
C Jacobson – ERCIM NEWS, broj – ercim-news.ercim.eu
Page 1. Also in this issue …

Goal-oriented approach to creating class diagrams with OCL constraints
S Chanvilai, K Honda, H Nakagawa, Y Tahara… – Proceedings of the 27th …, 2012 – dl.acm.org
… Wiley, 2009. [4] R. Schapire. A KAOS Tutorial. Mendeley. Available at: http://www. objectiver.com/fileadmin/download/documents/KaosTutorial.pdf [5] J. Horkoff and E. Yu. Analyzing goal models: different approaches and how to choose among them …

A Rigorous Approach to the Definition of an International Vocational Master’s Degree in Information Security Management
F Girard, B Meunier, D Hua… – Security-Aware Systems …, 2012 – books.google.com
Page 356. 328 Chapter 18 A Rigorous Approach to the Definition of an International Vocational Master’s Degree in Information Security Management Frédéric Girard Henri Tudor Public Research Center, Luxembourg Bertrand …

Deception planning models for cyber security
C De Faveri, A Moreira, E Souza – Computational Science and …, 2017 – ieeexplore.ieee.org
… support can be used (eg Open ME3, and KAOS4). 3http://istar.rwth-aachen.de/tiki- index.php?page=OpenOME 4http://www.objectiver.com/index.php?id=25 V. DISCUSSION A significant portion of the surveyed models presents …

Towards Process Models for Goal-Based Development of Enterprise Information Systems Architectures
M Tabatabaie – 2011 – etheses.whiterose.ac.uk
Page 1. Towards Process Models for Goal-Based Development of Enterprise Information Systems Architectures Malihe Tabatabaie PhD Submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy …

Transformational creativity in requirements goal models
S Rayasam – 2016 – rave.ohiolink.edu
Page 1. Page 2. Page 3. 1 Transformational Creativity in Requirements Goal Models A thesis submitted to the graduate school of the University of Cincinnati in partial fulfillment of the requirements for the degree of Master of Science …

Adaptive software based on correct-by-construction metamodels
F Barbier, P Castéran, E Cariou… – … and Innovations in …, 2013 – books.google.com
Page 326. 308 Chapter 13 Adaptive Software based on Correct-by- Construction Metamodels Franck Barbier LIUPPA, France Pierre Castéran LaBRI, France Eric Cariou LIUPPA, France Olivier le Goaer LIUPPA, France ABSTRACT …

Semantics-aware detection of targeted attacks: a survey
R Luh, S Marschalek, M Kaiser, H Janicke… – Journal of Computer …, 2017 – Springer

Design as Code: Facilitating Collaboration between Usability and Security Engineers using CAIRIS
S Faily, C Iacob – 2017 IEEE 25th International Requirements …, 2017 – ieeexplore.ieee.org
… [30] Mozilla, “SeaSponge website,” http://mozilla.github.io/seasponge, April 2015. [31] Fake Crow, “User Persona Creator,” https://xtensio.com/user-persona/, March 2017. [32] Respect-IT, “Objectiver web page,” http://www.objectiver.com, June 2013 …

Impact analysis on an attributed goal graph
S Hayashi, D Tanabe, H Kaiya… – IEICE TRANSACTIONS on …, 2012 – search.ieice.org
… [6] “Objectiver: Sitehomepage.” available at http://www.objectiver.com/ [7] H. Kaiya, H. Horai, and M. Saeki, “AGORA: Attributed goal- oriented requirements analysis method,” Proc. IEEE Joint Interna- tional Requirements Engineering Conference (RE’02), pp.13–22, 2002 …

Extending enterprise architecture modelling with business goals and requirements
W Engelsman, D Quartel, H Jonkers… – Enterprise Information …, 2011 – Taylor & Francis

A framework for dependability analysis of software systems with trusted bases
E Kang – 2010 – dspace.mit.edu
Page 1. A Framework for Dependability Software Systems with Trusted Bases by Eunsuk Kang MASSACHUSETTS INSTITUTE OF TECHNOLOGY FEB 2 3 2010 LIBRARIES Submitted to the Department of Electrical Engineering and Computer Science …

A goal-based approach to guide the design of an abstract Event-B specification
A Matoussi, F Gervais, R Laleau – Engineering of Complex …, 2011 – ieeexplore.ieee.org
… This is available by a right click on the project explorer of Topcased platform, pointing a SysML/KAOS goal model. SysKAOS2EventB plug-in creates a new Rodin project (with different MACHINE components) obtained 3http://www.objectiver.com/ 145 Page 8 …

From legacy system into SaaS-based system: a public transport document generator case study
MG Mahfudhi – 2015 – repositorio-aberto.up.pt
Page 1. From Legacy System into SaaS-based System: A Public Transport Document Generator Case Study Muhammad Ghufron Mahfudhi Master Dissertation Supervisor in FEUP: Prof. Maria Teresa Galvão Dias Supervisor in OPT, SA: Luís Filipe Ferreira …

Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems
M Ahmad, N Belloir, JM Bruel – Journal of Systems and Software, 2015 – Elsevier
Self-Adaptive Systems modify their behavior at run-time in response to changing environmental conditions. For these systems, Non-Functional Requirements play an.

Requirements engineering education for senior engineers: Course design and its evaluation
T Nakatani, T Tsumaki, T Tamai – … Engineering Education and …, 2010 – ieeexplore.ieee.org
Page 1. Requirements Engineering Education for Senior Engineers: Course Design and its Evaluation Takako Nakatani Graduate School of Business Sciences, University of Tsukuba, Toshihiko Tsumaki National Institute of Iriformatics, Tokyo, Japan …

Risk-driven Engineering of Requirements for Dependable Systems.
A van Lamsweerde – Engineering Dependable Software Systems, 2013 – books.google.com
Page 217. Engineering Dependable Software Systems M. Broy et al.(Eds.) 207 IOS Press, 2013 © 2013 The authors and IOS Press. All rights reserved. doi: 10.3233/978-1-61499-207-3-207 Risk-driven Engineering of Requirements …

Model-basedRequirementsEngineeringforMultifunctionalSystems
A Vogelsang – 2015 – d-nb.info
Page 1. Andreas Vogelsang Model-based Requirements Engineering for Multifunctional Systems Page 2. Page 3. Institut für Informatik der Technischen Universität München Model-based Requirements Engineering for Multifunctional Systems Andreas Vogelsang …

A controlled experiment to evaluate the understandability of KAOS and i* for modeling Teleo-Reactive systems
JM Morales, E Navarro, P Sánchez, D Alonso – Journal of Systems and …, 2015 – Elsevier
Teleo-Reactive (TR) specifications allow engineers to define the behavior of reactive systems while taking into account goals and changes in the state of the en.

Requirements Engineering Education for Senior Engineers: Course Design and its Evaluation
N Unisys – pdfs.semanticscholar.org
Page 1. Requirements Engineering Education for Senior Engineers: Course Design and its Evaluation Takako Nakatani Graduate School of Business Sciences, University of Tsukuba, and National Institute of Informatics, Tokyo, Japan nakatani@gssm.otsuka.tsukuba.ac.jp …

Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems
B Eberhardinger, JP Steghofer, F Nafz… – … (ISSRE), 2013 IEEE …, 2013 – ieeexplore.ieee.org
Page 1. Model-driven Synthesis of Monitoring Infrastructure for Reliable Adaptive Multi-Agent Systems Benedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz, and Wolfgang Reif Institute for Software & Systems Engineering …

Towards policy refinement for resilience management in cloud
SN Shirazi, S Simpson, KN Syeda… – … (RNDM), 2016 8th …, 2016 – ieeexplore.ieee.org
… desired goal. The authors in [22] investigated the use of model checking in 5http://www.objectiver.com/fileadmin/download/documents/KaosTutorial. pdf order to derive operational policies from low-level goals. The refinement …

Deliverable 3.2-policy specification methodology
M Rudolph, R Schwarz, C Jung – Conference on, pages, 2012 – seccrit.eu
Page 1. SEcure Cloud computing for CRitical infrastructure IT Contract No 312758 Deliverable: 3.2 Policy Specification Methodology AIT Austrian Institute of Technology • ETRA Investigación y Desarrollo • Fraunhofer Institute …

Modeling of e-Government strategies.
? ????????, A Foulidis – 2013 – dspace.lib.uom.gr
Page 1. INTERDEPARTMENTAL PROGRAMME OF POSTGRADUATE STUDIES (IPPS) IN INFORMATION SYSTEMS MSc Dissertation MODELING OF E-GOVERNMENT STRATEGIES By ANESTIS FOULIDIS Submitted as …

Requirements engineering education using role-play training
T Nkamaura, Y Tachikawa – Teaching, Assessment, and …, 2016 – ieeexplore.ieee.org
Page 1. Requirements Engineering Education using Role-Play Training Taichi Nkamaura National Institute of Informatics Tokyo, Japan nakamuratc@nii.ac.jp Yuki Tachikawa NEC Solution Innovators, Ltd Tokyo, Japan g211301392@edu.teu.ac.jp …

AMAN-DA: A knowledge reuse based approach for domain specific security requirements engineering
A Souag – 2015 – hal-paris1.archives-ouvertes.fr
Page 1. AMAN-DA: A knowledge reuse based approach for domain specific security requirements engineering Amina Souag To cite this version: Amina Souag. AMAN-DA: A knowledge reuse based approach for domain specific security requirements engineering. Other [cs.OH] …