[CITATION] II. 2 ELICITATION DES EXIGENCES
G Kotonya, I Sommerville... - Bibliographie: UML, Ingénierie des ..., 2001
All 6 versions - Import into BibTeX
Early Verification and Validation of Mission Critical Systems3
C Ponsard, P Massonet, A Rifaut... - Electronic Notes in ..., 2005 - Elsevier
... 95-96 [18] TheObjectiver Tool http://wwww.objectiver.com [19] H. Tran Van,A. van Lamsweerde,
P. Massonet, and C. Ponsard,Goal-orientedrequirements animation, 12th IEEE International
RequirementsEngineering Conference, Kyoto (Japan), September 2004,accepted [20] A ...
Cited by 8 - Related articles - All 2 versions - Import into BibTeX
[PDF] Vérification formelle d'exigences temporelles avec génération automatique d'observateurs
[PDF] from enseeiht.frB Fontan, P de Saqui-Sannes... - seminaire-verif.enseeiht.fr
... Wiley, 2006. [MIL 89] R. Milner, "Communication and Concurrency", Prentice Hall, 1989. [OBJ]
Outil Objectiver, http://www.objectiver.com/ [RTL] Real-Time Lotos Laboratory (RTL),
http://www.laas.fr/ RT-LOTOS [SysML] Norme SysML, http://www.SysML.org/docs/specs/SysML- ...
Related articles - View as HTML - All 3 versions - Import into BibTeX
Goal-oriented requirements enginering: a roundtrip from research to practice [enginering read engineering]
[PDF] from ucl.ac.beA Van Lamsweerde - Requirements Engineering Conference, ..., 2004 - ieeexplore.ieee.org
... on Sofware. Engineering, Vol. 18 No. 6, June 1992. [26] NJ Nilsson, Problem-Solving Methods
in Artificial Intelligence, McGraw-Hill, 1971. [27] http://www.objectiver.com. [28] C. Potts, "Using
Schematic Scenarios to Understand User Needs", Proc. DIS'95 - ACM Symp. ...
Cited by 133 - Related articles - All 19 versions - Import into BibTeX
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models
H Nakagawa, K Taguchi... - ... of the twenty-second IEEE/ACM ..., 2007 - dl.acm.org
... [3] J. Fitzgerald, PG Larsen, Modelling Systems, Cambridge University Press, 1998. [4] CEDITI,
Objectiver, http://www.objectiver.com/ . [5] CSK, VDM Tools, http://www.vdmtools.jp/en/ . Figure
3. Relationship between KAOS model and VDM++ specifications ...
Cited by 16 - Related articles - Import into BibTeX
[PDF] Goal-oriented analysis of regulations
[PDF] from u-pec.frR Darimont... - ReMo2V, held at CAiSE, 2006 - lacl.u-pec.fr
... 249-263 [3] Objectiver, http://www.objectiver.com [4] http://www.safee.reading.ac.uk/, contract n°
AIP3-CT-2003-503521 [5] ICAO, "Security Manual for Safeguarding Civil Aviation against Acts
of Unlawful Interference", Doc 8973/5 -- Restricted [6] van Lamsweerde A ...
Cited by 27 - Related articles - View as HTML - All 5 versions - Import into BibTeX
Analysis of multi-agent systems based on KAOS modeling
[PDF] from irisa.frH Nakagawa, T Karube... - Proceedings of the 28th ..., 2006 - dl.acm.org
... [2] CEDITI A KAOS Tutorial. http://www.objectiver.com/down load/documents/KaosTutorial.pdf
[3] CEDITI Objectiver. http://www.objectiver.com [4] Juan, T., and Sterling, L. The ROADMAP
Metamodel for Intelligent Adaptive Multi-Agent Systems in Open Environments. ...
Cited by 7 - Related articles - All 9 versions - Import into BibTeX
[PDF] From requirements models to formal specifications in B
[PDF] from rwth-aachen.deC Ponsard... - REMO2V'06, 2006 - informatik.rwth-aachen.de
... FMICS'04, 2004. 5. IST-1999-11435, Matisse: Methodologies and technologies for
industrial strength sys- tems engineering - practitioners handbook, 2003. 6.
Objectiver/FAUST, http://www.objectiver.com + http://faust.cetic.be, 2004. ...
Cited by 18 - Related articles - View as HTML - All 6 versions - Import into BibTeX
[PDF] Software quality starts with the modelling of goal-oriented requirements
[PDF] from objectiver.comE Delor, R Darimont... - 16th International Conference ..., 2003 - objectiver.com
... A full bibliography of publications about the method can be found at URL http://www.info.ucl.ac.
be/research/ projects/AVL/ReqEng.html. [2] This tool can be downloaded from http://www.objectiver.
com [3] Industrial experience report with Objectiver at Cediti can be found at URL: ...
Cited by 13 - Related articles - View as HTML - All 9 versions - Import into BibTeX
What has requirements research ever done for us?(goal-modeling techniques)
N Maiden - Software, IEEE, 2005 - ieeexplore.ieee.org
... Related URLs Goal modeling The KAOS method: www.info.ucl.ac.be/research/projects/AVL/
ReqEng.html The KAOS Objectiver tool: www.objectiver.com The i* method: www.cs.toronto.edu/
km/istar Agent-oriented requirements The Tropos method: www.troposproject.org ...
Cited by 8 - Related articles - BL Direct - All 6 versions - Import into BibTeX
gocc: a configuration compiler for self-adaptive systems using goal-oriented requirements description
H Nakagawa, A Ohsuga... - Proceeding of the 6th ..., 2011 - dl.acm.org
... Note: OCR errors may be found in this Reference List extracted from the full text article. ACM
has opted to expose the complete List rather than only correct and linked references. 1. CEDITI.
Objectiver. http://www.objectiver.com/. 2. CETIC. Faust. http://faust.cetic.be. ...
Cited by 1 - Related articles - Import into BibTeX
Goal-Oriented Requirements Engineering
C Poncin - 2008 - ucl.be
... The methodology is supported by various tools (http://www.objectiver.com/,
http://faust.cetic.be/) and has been used over more than 25 industrial projects. Exploring
alternative options is at the heart of the requirements and design processes. ...
Cached - All 4 versions - Import into BibTeX
[PDF] KAOS-ß: Analysing EIS architecture using KAOS
[PDF] from york.ac.ukM Tabatabaie, FAC Polack... - www-users.cs.york.ac.uk
... Section 3.3 summarises the KAOS-ß process. 2 www.objectiver.com Page 4. 3.1 The Stroke-Care
EIS ... Software Quality Starts with the Modelling of Goal-Oriented Requirements. [Accessed 20 Sep
2009] Available at:www.objectiver.com, 2009. 7. RAE-BCS Working Group. ...
Related articles - View as HTML - Import into BibTeX
Connecting Ontologies: Semantic Carrier of Requirements for Networked Software
B Wen, K He... - ... Knowledge and Grid, 2009. SKG 2009 ..., 2009 - ieeexplore.ieee.org
... sharable 1http://www.objectiver.com requirements and asset modeling theory and
method is also put forward. Interaction and collaboration of Networked software
is a restricted semantic interoperable issue on essence. This ...
Related articles - All 3 versions - Import into BibTeX
A boosting tutorial
R Schapire - 2007 - mendeley.com
... (2007) Publisher: Princeton University www.cs.princeton.edu/~schapire, Pages:
1-46. Available from www.objectiver.com. Abstract. KAOS is a methodology for
requirements engineering enabling analysts to build requirements ...
Cached - Import into BibTeX
[PDF] Design of a Smart Stick Prototype Using Goal Oriented Requirements Engineering Methodology
[PDF] from ijcaonline.orgS Vinay, NN Shaikh... - International Journal of Computer ..., 2010 - ijcaonline.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. ...
Related articles - View as HTML - All 6 versions - Import into BibTeX
[CITATION] T. UNAUTHORIZED _ACCESS-TO. DOCUMENTS O. ACCESS-CONTROL X 6.1. Security functional requirements
TUA TOJDOCUMENTS - ... in informatics: PI., 2006 - National Institute of Informatics
Related articles - Import into BibTeX
[PDF] An Eclipse Plug-in to Model System Requirements and Adaptation Capabilities
[PDF] from eclipse-it.orgL Baresi... - 2011.eclipse-it.org
... 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 ...
View as HTML - Import into BibTeX
Security requirements for civil aviation with UML and goal orientation
R Darimont... - Requirements Engineering: Foundation for ..., 2007 - Springer
... In: Proceedings ICSE'98 - 20th International Conference on Software Engineering, IEEE-ACM,
Kyoto (1998) 6. Objectiver, http://www.objectiver.com 7. van Lamsweerde, A.: Elaborating Security
Requirements by Construction of Intentional Anti-models. In: Proc. ICSE'04, 26th Int. ...
Cited by 2 - Related articles - BL Direct - All 3 versions - Import into BibTeX
[PDF] Analyzing Fault-Tolerant Systems with FAUST
[PDF] from psu.eduC Ponsard, P Massonet... - TECHNICAL REPORT SERIES- ..., 2005 - Citeseer
Page 27. Analyzing Fault-Tolerant Systems with FAUST C. Ponsard, P. Massonet,
and JF Molderez CETIC Research Center, Charleroi (Belgium)-{cp, phm, jfm}@
cetic. be Abstract. Producing high quality requirements is the ...
Cited by 1 - Related articles - View as HTML - BL Direct - All 11 versions - Import into BibTeX
A Tool for Attributed Goal-Oriented Requirements Analysis
M Saeki, S Hayashi... - ... , 2009. ASE'09. 24th IEEE/ACM ..., 2009 - ieeexplore.ieee.org
... In Proc. 5th International Symposium on Requirements Engineering, pages 249-263, 2001.
[2] Objectiver: SiteHomePage. Available at http://www.objectiver.com/. [3] Security and
dependability tropos tool. Available at http://sesa.dit.unitn.it/sttool/. ...
Cited by 2 - Related articles - All 3 versions - Import into BibTeX
Requirements Engineering Education for Professional Engineers
T Nakatani - Proceeding of the 2008 conference on Knowledge- ..., 2008 - dl.acm.org
... 9. CEDITI. A kaos tutorial, http://www.objectiver.com/download/documents/kaostutorial.
pdf, September 2003. 10. Peter Checkland , Jim Scholes, Soft systems methodology
in action, John Wiley & Sons, Inc., New York, NY, 1990. ...
Related articles - Import into BibTeX
[PDF] A Comparative Study of Software Requirements Tools For Secure Software Development
[PDF] from bvicam.ac.inMU Bokhari... - BVICAM? S International Journal of IT ( ..., 2010 - bvicam.ac.in
Page 1. BVICAM's International Journal of Information Technology (BIJIT) Bharati
Vidyapeeth's Institute of Computer Applications and Management (BVICAM), New
Delhi Copy Right (c) BIJIT - 2010 Vol. 2 No. 2 ISSN 0973 - 5658 ...
Cited by 1 - Related articles - View as HTML - All 3 versions - Import into BibTeX
Remm-studio: an integrated model-driven environment for requirements specification, validation and formatting
[PDF] from upct.esC Vicente Chicote, B Moros... - 2007 - repositorio.bib.upct.es
... In this vein, the Objectiver tool (www.objectiver.com), proposed in [Lamsweerde'04], includes
a document generator capable of producing requirements documents (in RTF or PDF format)
organized in sections and subsections according to a goal refinement graph and to a ...
Cited by 23 - Related articles - All 5 versions - Import into BibTeX
Evaluating the effectiveness of a goal-oriented requirements engineering method
[PDF] from huzam.netHSF Al-Subaie... - Comparative Evaluation in ..., 2006 - ieeexplore.ieee.org
Page 1. Evaluating the Effectiveness of a Goal-Oriented Requirements Engineering
Method Abstract As an attempt to answer the need for methods and tools in
requirements engineering (RE) which are domain specific and can ...
Cited by 16 - Related articles - All 14 versions - Import into BibTeX
An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations
G Dallons, P Massonet, JF Molderez... - ... and Privacy in ..., 2007 - ieeexplore.ieee.org
... http://www.beingrid.eu [10] P. Massonet, A. Arenas, Deliverable D1.1 : Survey of Grid Application
Classes and VO Topologies, GridTrust Project [11] The Objectiver Tool, http://www.objectiver.
com [12] The FAUST toolbox, http://faust.cetic.be, 2004 [13] Edgar Weippl and ...
Cited by 3 - Related articles - All 5 versions - Import into BibTeX
Towards a domain specific language for a goal-oriented approach based on KAOS
A Dias, V Amaral... - Research Challenges in ..., 2009 - ieeexplore.ieee.org
... [2] Dia - GNOME Live! http://live.gnome.org/Dia, 2008. [3] Objectiver: SiteHomePage.
http://www.objectiver.com/, 2008. [4] A. Rashid, P. Sawyer, A. Moreira and J. Araújo. Early
Aspects: a Model for Aspect-Oriented Requirements Engineering. ...
Cited by 4 - Related articles - All 2 versions - Import into BibTeX
Real-time and embedded system verification based on formal requirements
[PDF] from telecom-paristech.frB Fontan, L Apvrille... - ... Systems, 2006. IES' ..., 2006 - ieeexplore.ieee.org
Page 1. Real-Time and Embedded System Verification Based on Formal
Requirements B. Fontan * **, L. Apvrille***, P. de Saqui-Sannes***, J.-P. Courtiat*
*LAAS-CNRS, 7 avenue du Colonel Roche, 31077 Toulouse Cedex ...
Cited by 6 - Related articles - All 6 versions - Import into BibTeX
[PDF] Linking goals to aspects
[PDF] from utwente.nlC Zhang, HA Jacobsen... - Proc. Aspect-Oriented ..., 2005 - trese.cs.utwente.nl
... 15]. 1. Security: HTTPS/SSL check[protocol] and Password- 2Objectiver.
URL:http://www.objectiver.com 3osCommerce URL:http://www.oscommerce.com/
4 Page 5. Protection[access] are two identified security aspects. They ...
Cited by 4 - Related articles - View as HTML - All 7 versions - Import into BibTeX
Generating High-Level Event-B System Models from KAOS Requirements Models
[PDF] from soton.ac.ukC Ponsard... - 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 ...
Related articles - All 3 versions - Import into BibTeX
[PDF] A POSE Process with Alloy and Perfect Developer
[PDF] from open.ac.ukD Mannering - International Workshop on ..., 2011 - computing-reports.open.ac.uk
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 ...
Related articles - View as HTML - Import into BibTeX
[PDF] Louvain School of Management
[PDF] from academielouvain.beC Herssens, IJ Jureta... - dial.academielouvain.be
Page 1. RESEARCH REPORT Louvain School of Management Working paper Analyse
et développement d'une application de gestion de fours à coke : application à Carsid
06/03 Louvain School of Management Academic Year 2005 - 2006 ...
Related articles - View as HTML - All 18 versions - Import into BibTeX
[PDF] ENGENHARIA DE REQUISITOS INTENCIONAL: Tornando o Software mais Transparente
[PDF] from puc-rio.brC Cappelli-PUC-Rio... - www-di.inf.puc-rio.br
Page 1. 27/10/2011 1 (c) Grupo de ER - PUC-Rio Antonio de Padua A. Oliveira - UERJ e
PUC-Rio Claudia Cappelli - PUC-Rio Herbet de Souza Cunha - Petrobras e PUC-Rio Julio
Cesar Sampaio do Prado Leite - PUC-Rio Vera Maria B. Werneck - UERJ ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
[PDF] Comparing goal-modelling tools with the RE-tool evaluation approach
[PDF] from ktu.ltR Matulevicius, P Heymans... - Information Technology and Control, 2006 - itc.ktu.lt
Page 1. ISSN 1392 - 124X INFORMATION TECHNOLOGY AND CONTROL, 2006, Vol.35,
No.3A COMPARING GOAL-MODELLING TOOLS WITH THE RE-TOOL EVALUATION APPROACH *
Raimundas Matulevicius1, Patrick Heymans1, and Guttorm Sindre2 ...
Cited by 9 - Related articles - View as HTML - All 6 versions - Import into BibTeX
0019/2010-Levantamento de características de ferramentas de apoio à elicitação de requisitos
[PDF] from unirio.brDM Silva, DB Serrano, C Cappelli... - RelaTe-DIA, 2011 - seer.unirio.br
... URL: http://mogno.tigris.org/ [MOGNO 2010] Objectiver Fabricante: Objectiver. URL:
http://www.objectiver.com/ [OBJECTIVER 2010] Optimal Trace Fabricante: Micro Focus. URL:
http://www.microfocus.com/products/OptimalTrace/index.asp [TRACE 2010] ...
Related articles - All 2 versions - Import into BibTeX
An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and Its Implementation
M Saeki, S Hayashi... - 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. ...
Related articles - All 6 versions - Import into BibTeX
[PDF] REAL-TIME SYSTEM FORMAL VERIFICATION BASED ON TIMING REQUIREMENT DESCRIPTION DIAGRAMS
[PDF] from wustl.eduB Fontan... - JRWRTC'07, 2007 - arl.wustl.edu
Page 27. REAL-TIME SYSTEM FORMAL VERIFICATION BASED ON TIMING
REQUIREMENT DESCRIPTION DIAGRAMS B. Fontan*,**, P. de Saqui-Sannes*,** *
LAAS-CNRS, University of Toulouse, 7 avenue du Colonel Roche ...
Related articles - View as HTML - All 5 versions - Import into BibTeX
On the generation of requirements specifications from software engineering models: A systematic literature review
[PDF] from ufpe.brJ Nicolás... - Information and Software Technology, 2009 - Elsevier
Cited by 16 - Related articles - All 4 versions - Import into BibTeX
[PDF] Extended kaos to support variability for goal oriented requirements reuse
[PDF] from rwth-aachen.deF Semmak, C Gnaho... - Proceedings of the ..., 2008 - informatik.rwth-aachen.de
... Kang, S., Cohen, J., Hess, W., Novak, Peterson S.: " Feature-oriented domain
analysis (FODA) feasibility study ", CMU/SEI-90-TR-21, 1990 12. Objectiver
Requirement Engineering tool, http://www.objectiver.com/ 13. Brunet ...
Cited by 5 - Related articles - View as HTML - All 13 versions - Import into BibTeX
[PDF] Synthesizing a Composite Model for Runtime Monitoring and Adapting Goal Oriented Systems
[PDF] from docsdrive.comSM Babamir... - Trends in Applied Sciences Research, 2011 - docsdrive.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://www.objectiver.com) used to develop present models. ...
Related articles - All 2 versions - Import into BibTeX
Developing tools for Agent-Oriented visual modeling
[PDF] from imamu.edu.saA Perini... - Multiagent System Technologies, 2004 - Springer
... References 1. http://www.auml.org, 2004. 2. Objectiver 1.5. a technical overview., 2003.
http://www.objectiver.com. Page 13. Developing Tools for Agent-Oriented Visual Modeling
181 3. Passi documentation, 2003. http://www.csai.unipa.it/passi. ...
Cited by 16 - Related articles - BL Direct - All 7 versions - Import into BibTeX
Supporting variability in goal-based requirements
F Semmak, R Laleau... - Research Challenges in ..., 2009 - ieeexplore.ieee.org
... 1055-1071, 1998. [8] Objectiver Requirement Engineering tool, http://www.objectiver.
com/ [9] Object Management Group, UML profile for modeling and analysis of
real-time and embedded systems (MARTE), 2006. [10] Projet ...
Related articles - Import into BibTeX
[PDF] Errors and Misconceptions in Learning i
[PDF] from depaul.eduT Tsumaki, H Kaiya, Y Tahara, N Yoshioka... - Listing by ..., 2007 - re.cs.depaul.edu
Page 35. Errors and Misconceptions in Learning i* Toshihiko Tsumaki 1, 4, Haruhiko
Kaiya 1, 2, Yasuyuki Tahara 1, Nobukazu Yoshioka 1, Kenji Taguchi 1, Shinichi Honiden
1, 3 Information Systems Architecture Research Division ...
Cited by 1 - Related articles - View as HTML - All 2 versions - Import into BibTeX
Goal-oriented design of domain control panels
[PDF] from psu.eduC Ponsard, N Balych, P Massonet... - Interactive Systems. ..., 2006 - Springer
... In Springer Ver- lag, November 1999. 15. The Objectiver RE platform. http://www.objectiver.
com. 16. C. Ponsard, P. Massonet, A. Rifaut, JF Molderez, A. van Lamsweerde, and H. Tran
Van. Early verification and validation of mission critical systems. ...
Cited by 5 - Related articles - BL Direct - All 8 versions - Import into BibTeX
The role of deferred requirements in a longitudinal study of emailing
[PDF] from psu.eduS Fickas, W Robinson... - ... , 2005. Proceedings. 13th ..., 2005 - ieeexplore.ieee.org
... The KAOS Objectiver tool supports this goal refinement process (www.objectiver.com) [2]. Although
we demonstrate KAOS goals herein, Fickas and the Toronto OME team have collaborated to
define an OME version of the email goals[8]. Together, the two approaches will ...
Cited by 7 - Related articles - All 6 versions - Import into BibTeX
[PDF] Comparing GORE Frameworks: i-star and KAOS
[PDF] from puc-rio.brVMB Werneck, APA Oliveira... - Workshop em Engenharia de ..., 2009 - inf.puc-rio.br
Page 1. Comparing GORE Frameworks: i-star and KAOS Vera Maria Bejamim
Werneck 1 , Antonio de Padua Albuquerque Oliveira 1 , Julio Cesar Sampaio do
Prado Leite 2 1 Universidade do Estado do Rio de Janeiro - UERJ ...
Cited by 2 - Related articles - View as HTML - All 5 versions - Import into BibTeX
Goal-oriented requirements animation
[PDF] from psu.eduHT Van, A van Lamsweerde... - Requirements ..., 2004 - ieeexplore.ieee.org
Page 1. Goal-Oriented Requirements Animation Hung Tran Van, Axel van Lamsweerde
Département d'Ingénierie Informatique Université catholique de Louvain ?-¡348
Louvain-la-Neuve (Belgium) {tvh, avi}@info.ucl.ac.be Philippe ...
Cited by 41 - Related articles - All 11 versions - Import into BibTeX
Clinical requirements engineering
[PDF] from unipi.itS Fickas - Proceedings of the 27th international conference on ..., 2005 - dl.acm.org
... about the timeline of goals. Looking at the top portion of the figure below, you can
see my first attempts to represent the letters-to-the-editor goal of Mary, using the
KAOS Objectiver tool (www.objectiver.com). There is a general ...
Cited by 17 - Related articles - BL Direct - All 9 versions - Import into BibTeX
[PDF] Deriving Architectural Descriptions from Goal-Oriented Requirements Models
[PDF] from utexas.eduD Vanderveken, A Van Lamsweerde, DE Perry... - 2005 - ece.utexas.edu
Page 1. Deriving Architectural Descriptions from Goal-Oriented Requirements Models
Damien Vanderveken Axel van Lamsweerde Dept. Ingénierie Informatique Université
catholique de Louvain avl@info.ucl.ac.be Dewayne ...
Cited by 2 - Related articles - View as HTML - All 5 versions - Import into BibTeX
A Survey of Agent-oriented Development Tools
[PDF] from uni-hamburg.deA Pokahr... - Multi-Agent Programming:, 2009 - Springer
... 13 http://ingenias.sourceforge.net/ 14 http://sourceforge.net/projects/ptk 15 http://macr.cis.ksu.
edu/projects/agentTool/agentool.htm 16 http://www.cs.toronto.edu/km/openome/ 17
http://www.objectiver.com/ 18 http://faust.cetic.be 19 http://sra.itc.it/tools/taom4e/ Page 17. ...
Related articles - All 7 versions - Import into BibTeX
Timing requirement description diagrams for real-time system verification
[PDF] from univ-toulouse.frB Fontan, P Saqui-Sannes... - 2008 - oatao.univ-toulouse.fr
Page 1. Page 1/8 Timing Requirement Description Diagrams for Real-Time System
Verification B. Fontan 1, 2 , P. de Saqui-Sannes 1, 2 , L. Apvrille 3 1: LAAS-CNRS 7
Avenue du Colonel Roche, 31077 Toulouse Cedex 04, France ...
Cited by 1 - Related articles - All 7 versions - Import into BibTeX
[PDF] Docteur de l'Université Henri Poincaré, Nancy
[PDF] from archives-ouvertes.frDUNPI LA CONDUITE - tel.archives-ouvertes.fr
Page 1. UFR Sciences et Technologies École Doctorale IAEM Lorraine Département
de Formation Doctorale Automatique Thèse Présentée pour l'obtention du titre de
Docteur de l'Université Henri Poincaré, Nancy 1 (Spécialité ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering
[PDF] from inria.frN Sannier, B Baudry... - 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 ...
Cited by 1 - Related articles - All 4 versions - Import into BibTeX
[PDF] Requirements Engineering
[PDF] from drdc.gc.caG Harvey - Contract, 2010 - pubs.drdc.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 ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
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... - Software, IET, 2010 - ieeexplore.ieee.org
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 ...
Cited by 1 - Related articles - All 4 versions - Import into BibTeX
Security requirements model for grid data management systems
[PDF] from psu.eduS Naqvi, P Massonet... - Critical Information Infrastructures ..., 2006 - Springer
... KAOS Project: www2.info.ucl.ac.be/research/projects/AVL/ReqEng.html 19. Objectiver: The
Requirements Engineering Tool - www.objectiver.com 20. Moffett J. and Sloman M., Policy
Hierarchies for Distributed Systems Management, IEEE JSAC, vol. 11, pp. 1404-14, 1993. 21. ...
Cited by 3 - Related articles - BL Direct - All 17 versions - Import into BibTeX
[PDF] Improving the engineering mind in eliciting requirements
[PDF] from depaul.eduT Nakatani - Proc. of the 2nd International Workshop on ..., 2007 - re.cs.depaul.edu
Page 44. Improving The Engineering Mind In Eliciting Requirements Takako Nakatani
University of Tsukuba The Graduate School of Systems Management 3-29-1, Otsuka,
Bunkyo, Tokyo, Japan nakatani@ gssm. otsuka. tsukuba. ac. ...
Cited by 3 - Related articles - View as HTML - All 2 versions - Import into BibTeX
Modelação de aplicações SIG com aspectos
[PDF] from unl.ptAIDM Oliveira - 2009 - run.unl.pt
Page 1. 0 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia
Departamento de Informática Modelação de Aplicações SIG com Aspectos Por Ana
Isabel Durão Mata de Oliveira Dissertação apresentada na Faculdade ...
Cited by 2 - Related articles - All 3 versions - Import into BibTeX
Goal-oriented specification of adaptation requirements engineering in adaptive systems
[PDF] from irisa.frG Brown, BHC Cheng, H Goldsby... - Proceedings of the 2006 ..., 2006 - dl.acm.org
Page 1. Goal-oriented Specification of Adaptation Requirements Engineering in
Adaptive Systems * Greg Brown, Betty HC Cheng, Heather Goldsby, Ji Zhang Software
Engineering and Network Systems Laboratory Department ...
Cited by 18 - Related articles - All 9 versions - Import into BibTeX
Extended KAOS Method to Model Variability in Requirements
F Semmak, C Gnaho... - Evaluation of Novel Approaches to ..., 2010 - Springer
... In: 1st Int. Workshop on Variability Modelling of Software-intensive Sys- tems, VaMoS (2007) 12.
Objectiver Requirement Engineering tool, http://www.objectiver.com/ 13. Parent, M.: Automated
public vehicle: a first step towards the automatic highway. In: The Proc. ...
Related articles - All 2 versions - Import into BibTeX
Uma Linguagem Específica do Domínio para uma abordagem Orientada aos Objectivos baseada em KAOS
[PDF] from unl.ptACF Dias - 2009 - dspace.fct.unl.pt
Page 1. Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de
Informática Dissertação de Mestrado Mestrado em Engenharia Informática Uma Linguagem
Específica do Domínio para uma abordagem Orientada aos Objectivos baseada em ...
Cited by 1 - Related articles - All 2 versions - Import into BibTeX
??????????????????
????? - SEC journal, 2010 - J-STAGE
... objectiver.com/fileadmin/download/documents/KaosTutorial.pdf [LEVESON1995] Leveson, N. :
Safeware : System Safety and Computers, Addison-Wesley Professional, 1995(?? ??
??:?????? ??· ??????????????????? , ??? , 2009) [LOEB2002 ...
Related articles - All 2 versions - Import into BibTeX
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 ...
Related articles - Import into BibTeX
[PDF] Agent-oriented visual modeling and model validation for engineering distributed systems
[PDF] from fbk.euA Perini... - International Journal of Computer Systems Science & ..., 2005 - klase.fbk.eu
Page 1. Agent-Oriented visual modeling and model validation for engineering
distributed systems. Anna Perini and Angelo Susi ITC-irst, Via Sommarive, 18, I-38050
Trento-Povo, Italy {perini,susi}@itc.it Abstract. Agent-Oriented ...
Cited by 8 - Related articles - View as HTML - BL Direct - All 4 versions - Import into BibTeX
[PDF] ????????????????????????????????
[PDF] from shinshu-u.ac.jp????, ????, ???... - kaiunix.cs.shinshu-u.ac.jp
Page 1. ? ? ?????????? ??????????????????????
???????? ??* ?? ?? †,††a) ?? ?? † ?? ? † ?? ?? † Design,
Implementation and Evaluation of a System for Eliciting Requirements ...
Related articles - All 2 versions - Import into BibTeX
Instructional Design of a Requirements Engineering Education Course for Professional Engineers
T Nakatani, T Tsumaki... - Multimedia Services in ..., 2010 - books.google.com
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. ...
Cited by 1 - Related articles - Import into BibTeX
Teaching requirements skills within the context of a physical engineering project
G Auriol, C Baron... - ... Engineering Education and ..., 2008 - ieeexplore.ieee.org
... 2008 Requirements Engineering Education and Training (REET'08) 978-0-7695-3628-
6/08 $25.00 (c) 2008 IEEE Page 6. [4] CEDITI. A kaos tutorial, http://www.objectiver.
com /download/documents/kaostutorial.pdf, September 2003. ...
Cited by 2 - Related articles - All 3 versions - Import into BibTeX
[PDF] Curriculum design and methodologies for security requirements analysis
[PDF] from xn--vcsw1an4edyhh3b632d9qdkta.jpK Taguchi, Y Tahara - Progress in Informatics, 2008 - xn--vcsw1an4edyhh3b632d9qdkta. ...
Page 1. Special issue: The future of software engineering for security and privacy
Progress in Informatics, No. 5, pp.19-34, (2008) 19 Education Paper Curriculum
design and methodologies for security requirements analysis ...
Related articles - All 6 versions - Import into BibTeX
Requirements engineering: from craft to discipline
[PDF] from psu.eduA Van Lamsweerde - Proceedings of the 16th ACM SIGSOFT ..., 2008 - dl.acm.org
Page 1. Requirements Engineering: From Craft to Discipline Axel van Lamsweerde
Department of Computing Science Université catholique de Louvain B-1348
Louvain-la-Neuve (Belgium) avl@info.ucl.ac.be ABSTRACT Getting ...
Cited by 23 - Related articles - All 10 versions - Import into BibTeX
[PDF] Elicitación de requisitos en sistemas de gestión orientados a procesos
[PDF] from puc-rio.brI Villanueva, J Sánchez... - VIII Workshop on ..., 2005 - wer.inf.puc-rio.br
... on the Foundations of Software Engineering, Charleston, November 2002 [10]
Herramienta Objectiver. Kaos Tutorial. www.objectiver.com. [11] UML. Especificaciones
de UML (1.5), accesibles en www.omg.org [12] E. Yu, J. Mylopoulos. ...
Cited by 9 - Related articles - View as HTML - All 6 versions - Import into BibTeX
Applying requirement monitoring for autonomic computing in a combat management system
R Westdijk, L Rothkrantz... - Autotestcon, 2007 ..., 2007 - ieeexplore.ieee.org
Page 1. APPLYING REQUIREMENTS MONITORING FOR AUTONOMIC COMPUTING
IN A COMBAT MANAGEMENT SYSTEM Robert Westdijk Centre for Automation
of Mission-critical Systems, Force Vision. Nieuwe Haven ...
Cited by 2 - Related articles - Import into BibTeX
[PDF] Tool support to derive specifications for conflict-free composition
[PDF] from open.ac.ukTT Tun, R Laney, M Jackson... - 2008 - computing-reports.open.ac.uk
Page 1. ISSN 1744-1986 Technical Report N O 2008/ 13 Tool support to derive
specifications for conflict-free composition Thein Than Tun Robin Laney Michael
Jackson Bashar Nuseibeh 31st July, 2008 Department of Computing ...
Cited by 1 - Related articles - View as HTML - All 2 versions - Import into BibTeX
Early verification and validation of mission critical systems
[PDF] from psu.eduC Ponsard, P Massonet, JF Molderez... - Formal Methods in ..., 2007 - Springer
... Asso- ciation for Computing Machinery, Albuquerque, NM, pp 95-96 19. The Objectiver
Tool, http://wwww.objectiver.com 20. Tran Van H, van Lamsweerde A, Massonet P,
Ponsard C (2004) Goal-oriented requirements animation. ...
Cited by 28 - Related articles - BL Direct - All 11 versions - Import into BibTeX
Evaluating the applicability of requirements engineering tools for distributed software development
[PDF] from uni-mannheim.deM Geisser, T Hildenbrand... - 2007 - eprints.bib.uni-mannheim.de
Page 1. Evaluating the Applicability of Requirements Engineering Tools for Distributed
Software Development Michael Geisser and Tobias Hildenbrand and Norman Riegel Working
Paper 2/2007 January 2007 Working Papers in Information Systems ...
Cited by 5 - Related articles - All 5 versions - Import into BibTeX
A goal-oriented requirements modelling language for enterprise architecture
[PDF] from utwente.nlD Quartel, W Engelsman, H Jonkers... - ... , 2009. EDOC'09. ..., 2009 - ieeexplore.ieee.org
Page 1. A goal-oriented requirements modelling language for enterprise
architecture1 Dick Quartela, Wilco Engelsmanb, Henk Jonkersb, Marten van
Sinderenc aNovay {Dick.Quartel }@novay.nl bBiZZdesign {W.Engelsman ...
Cited by 21 - Related articles - All 12 versions - Import into BibTeX
[PDF] Implementing a tool to Support KAOS-Beta Process Model Using EPF
[PDF] from york.ac.ukM Tabatabaie - 2010 - www-users.cs.york.ac.uk
... [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]. ...
Related articles - View as HTML - All 2 versions - Import into BibTeX
Reasoning about partial goal satisfaction for requirements and design engineering
[PDF] from ucl.ac.ukE Letier... - ACM SIGSOFT Software Engineering ..., 2004 - dl.acm.org
Page 1. Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering
Emmanuel Letier and Axel van Lamsweerde Département d'Ingénierie Informatique, Université
catholique de Louvain B-1348 Louvain-la-Neuve (Belgium) {eletier, avl}@info.ucl.ac.be ...
Cited by 135 - Related articles - All 18 versions - Import into BibTeX
Engineering requirements for system reliability and security
[PDF] from lnpu.edu.cnA Van Lamsweerde - NATO SECURITY THROUGH SCIENCE ..., 2007 - books.google.com
Page 207. Software System Reliability and Security 196 M. Broy et al.(Eds.) IOS Press,
2007 (c) 2007 IOS Press. All rights reserved. Engineering Requirements for System
Reliability and Security Axel van LAMSWEERDE Université ...
Cited by 10 - Related articles - BL Direct - All 7 versions - Import into BibTeX
AspectKAOS: integrating early-aspects into KAOS
A Gil... - Proceedings of the 15th workshop on Early aspects, 2009 - dl.acm.org
... 249-263. [6] A. Lamsweerde, "KAOS Tutorial", Cediti, September 5, 2003, http://www.objectiver.
com/ [7] A. Lamsweerde, A. Dardenne, B. Delcourt, F. Dubisy, "The KAOS Project: Knowledge
Acquisition in Automated Specification of Software", Proceedings of AAAI Spring ...
Related articles - All 2 versions - Import into BibTeX
From goal-oriented requirements to Event-B specifications
[PDF] from port.ac.ukB Aziz, A Arenas, J Bicarregui, C Ponsard... - 2009 - eprints.port.ac.uk
... 9 Page 12. From Goal-Oriented Requirements to Event-B Specifications References
[1] Objectiver. http://www.objectiver.com. [2] Rodin. http://sourceforge.net/projects/rodin-
b-sharp/. [3] JR. Abrial, MJ Butler, S. Hallerstede, and L. Voisin. ...
Cited by 11 - Related articles - All 11 versions - Import into BibTeX
Elaborating security requirements by construction of intentional anti-models
[PDF] from secure-application-development.orgA Van Lamsweerde - Proceedings of the 26th International Conference ..., 2004 - dl.acm.org
Page 1. Elaborating Security Requirements by Construction of Intentional Anti-Models Axel
van Lamsweerde Département d'Ingénierie Informatique Université catholique de Louvain
B-1348 Louvain-la-Neuve (Belgium) avl@info.ucl.ac.be Abstract ...
Cited by 202 - Related articles - BL Direct - All 19 versions - Import into BibTeX
[PDF] REQUIREMENTS MONITORING FOR AN AUTONOMIC COMBAT MANAGEMENT SYSTEM
[PDF] from tudelft.nlR Westdijk - 2008 - kbs.twi.tudelft.nl
Page 1. REQUIREMENTS MONITORING FOR AN AUTONOMIC COMBAT
MANAGEMENT SYSTEM A FEASIBILITY STUDY by Robert Westdijk February 15,
2008 Page 2. Page 3. Faculty of Electrical Engineering, Mathematics ...
Related articles - View as HTML - All 5 versions - Import into BibTeX
Evaluating goal models within the goal-oriented requirement language
[PDF] from uottawa.caD Amyot, S Ghanavati, J Horkoff... - ... Journal of Intelligent ..., 2010 - Wiley Online Library
Skip to Main Content. ...
Cited by 26 - Related articles - All 5 versions - Import into BibTeX
Adaptação da Framework i* para Linhas de Produtos
[PDF] from unl.ptSIA António - 2009 - 193-136-125-168.pub.elearning.fct. ...
Page 1. Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de
Informática Dissertação de Mestrado em Engenharia Informática 1º Semestre, 2008/2009
Adaptação da Framework i* para Linhas de Produtos Nº 26294 Sandra Isabel Alves António ...
Cited by 1 - Related articles - All 3 versions - Import into BibTeX
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 ..., 2011 - Springer
Page 1. ORIGINAL ARTICLE Exploring the impact of software requirements on system-wide goals:
a method using satisfaction arguments and i* goal modelling James Lockerbie • Neil Arthur
McDougall Maiden • Jorgen Engmann • Debbie Randall • Sean Jones • David Bush ...
Import into BibTeX
Reconciling software requirements and architectures within MDA
U Donins... - Scientific Journal of Riga Technical University. ..., 2009 - Versita
... P.325-340. 5. CEDITI. A KAOS Tutorial / CEDITI, 2003. - http://www.objectiver.com/download/
documents/ KaosTutorial.pdf - 2003. 6. From System Goals to Software Architecture / edited
by - van Lamsweerde A. // Berlin: Springer, 2003. - P.25-43. ...
Related articles - All 2 versions - Import into BibTeX
A Health-care Application of Goal-driven Software Design
[PDF] from umfcluj.roME IACOB, D Rothengatter... - Applied Medical ..., 2011 - ami.info.umfcluj.ro
... 1 There exists a commercial requirements engineering tool that implements the KAOS
methodology and proposes a graphical notation for KAOS as well (http://www.objectiver.com/).
Page 5. IACOB Maria-Eugenia, ROTHENGATTER Diederik, and HILLEGERSBERG Jos van ...
Cited by 3 - Related articles - All 4 versions - Import into BibTeX
Deriving event-based transition systems from goal-oriented requirements models
[PDF] from ucl.ac.ukE Letier, J Kramer, J Magee... - Automated Software Engineering, 2008 - Springer
Page 1. Autom Softw Eng (2008) 15: 175-206 DOI 10.1007/s10515-008-0027-7
Deriving event-based transition systems from goal-oriented requirements models
Emmanuel Letier · Jeff Kramer · Jeff Magee · Sebastian Uchitel ...
Cited by 29 - Related articles - BL Direct - All 16 versions - Import into BibTeX
Integrating early aspects with goal-oriented requirements engineering
[PDF] from unl.ptATV Gil - 2008 - run.unl.pt
Page 1. Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia
Departamento de Informática Integrating Early Aspects with Goal-Oriented
Requirements Engineering: The Case of KAOS Por André Tiago Varejão Gil ...
Related articles - All 3 versions - Import into BibTeX
[PDF] A framework for dependability analysis of software systems with trusted bases
[PDF] from mit.eduE Kang - 2010 - people.csail.mit.edu
Page 1. A Framework for Dependability Analysis of Software Systems with Trusted Bases by
Eunsuk Kang Submitted to the Department of Electrical Engineering and Computer Science in
partial fulfillment of the requirements for the degree of Master of Science at the ...
Cited by 3 - Related articles - View as HTML - Library Search - All 5 versions - Import into BibTeX
Extending enterprise architecture modelling with business goals and requirements
W Engelsman, D Quartel, H Jonkers... - Enterprise Information ..., 2011 - Taylor & Francis
Cited by 5 - Related articles - All 5 versions - Import into BibTeX
A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification
A Matoussi, F Gervais... - 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. ...
Cited by 1 - Related articles - All 2 versions - Import into BibTeX
Requirements engineering education for senior engineers: Course design and its evaluation
T Nakatani, T Tsumaki... - ... 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 ...
Related articles - Import into BibTeX
An Acquisition Method for Finding Negotiation Attributes Using Goal-Driven Use Cases
[PDF] from ccu.edu.twY Huang - 2010 - ethesys.lib.ccu.edu.tw
Page 1. I ?????? ??????? ???? ???????????????
???????????????????? An Acquisition Method for Finding Negotiation
Attributes Using Goal-Driven Use Cases ???:??? ????:??? ?? ...
Related articles - Import into BibTeX
?????????????????
[PDF] from 140.123.21.164AUGDU Cases - 2010 - 140.123.21.164
Page 1. I ?????? ??????? ???? ???????????????
???????????????????? An Acquisition Method for Finding Negotiation
Attributes Using Goal-Driven Use Cases ???:??? ????:????? ...
Related articles - Import into BibTeX
Goal-centric traceability: Using virtual plumblines to maintain critical systemic qualities
[PDF] from csamu.orgJ Cleland-Huang, W Marrero... - ... , IEEE Transactions on, 2008 - ieeexplore.ieee.org
Page 1. Goal-Centric Traceability: Using Virtual Plumblines to Maintain Critical
Systemic Qualities Jane Cleland-Huang, Member, IEEE Computer Society, Will
Marrero, and Brian Berenbach, Member, IEEE Computer Society ...
Cited by 8 - Related articles - All 7 versions - Import into BibTeX
|
