Search results for "KAoS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
393	Kathleen O'Neil Lossau	KAOS (abstract only): a knowledge aided operator's system for the VM operator's console.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
120	Abderrahman Matoussi, Frédéric Gervais, Régine Laleau	A First Attempt to Express KAOS Refinement Patterns with Event B.	ABZ	2008	DBLP DOI BibTeX RDF
104	Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers	KAoS: A Policy and Domain Services Framework for Grid Computing and Semantic Web Services.	iTrust	2004	DBLP DOI BibTeX RDF
97	Richard Banach	A deidealisation semantics for KAOS.	SAC	2010	DBLP DOI BibTeX RDF	tower pattern, refinement, ASM, retrenchment, KAOS
97	Andrzej Uszok, Jeffrey M. Bradshaw, James Lott, Maggie R. Breedy, Larry Bunch, Paul J. Feltovich, Matthew Johnson 0001, Hyuckchul Jung	New Developments in Ontology-Based Policy Management: Increasing the Practicality and Comprehensiveness of KAoS.	POLICY	2008	DBLP DOI BibTeX RDF	ontology, policy, OWL, policy management, KAoS
88	Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Austin Tate, Jeff Dalton 0002	Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment.	ISWC	2004	DBLP DOI BibTeX RDF
81	Andrzej Uszok, Jeffrey M. Bradshaw	Demonstrating Selected W3C Policy Languages Interest Group Use Cases Using the KAoS Policy Services Framework.	POLICY	2008	DBLP DOI BibTeX RDF	policy use cases, PLING, W3C, KAoS
81	Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Niranjan Suri, Patrick J. Hayes, Maggie R. Breedy, Larry Bunch, Matt Johnson 0001, Shriniwas Kulkarni, James Lott	KAoS Policy and Domain Services: Toward a Description-Logic Approach to Policy Representation, Deconfliction, and Enforcement.	POLICY	2003	DBLP DOI BibTeX RDF	policy conflict resolution, ontology, agent, policy, description logic, domains, DAML, KAoS
81	Jeffrey M. Bradshaw, Andrzej Uszok, Renia Jeffers, Niranjan Suri, Patrick J. Hayes, Mark H. Burstein, Alessandro Acquisti, Brett Benyo, Maggie R. Breedy, Marco M. Carvalho, David J. Diller, Matt Johnson 0001, Shriniwas Kulkarni, James Lott, Maarten Sierhuis, Ron van Hoof	Representation and reasoning for DAML-based policy and domain services in KAoS and nomads.	AAMAS	2003	DBLP DOI BibTeX RDF	cognitive prosthesis, cultural norms and institutions, human-agent teamwork, ontologies for agents and social modeling, ontologies in agent-based information systems and knowledge management, social order, policy, norms, domains, coalition, augmented cognition, DAML, adjustable autonomy, Nomads, KAoS, conventions, social control
64	Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde	Deriving tabular event-based specifications from goal-oriented requirements models.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Specification transformation, Lightweight formal analysis, Goal-oriented requirements engineering, Method integration, SCR
64	Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde	Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models.	RE	2003	DBLP DOI BibTeX RDF
64	Hiroyuki Nakagawa, Kenji Taguchi 0001, Shinichi Honiden	Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.	ASE	2007	DBLP DOI BibTeX RDF	formal methods, model transformation, requirements analysis
57	Jeffrey M. Bradshaw, Hyuckchul Jung, Shriniwas Kulkarni, Matthew Johnson 0001, Paul J. Feltovich, James F. Allen, Larry Bunch, Nathanael Chambers, Lucian Galescu, Renia Jeffers, Niranjan Suri, William Taysom, Andrzej Uszok	Kaa: policy-based explorations of a richer model for adjustable autonomy.	AAMAS	2005	DBLP DOI BibTeX RDF	human-agent teamwork, kaa, trust, policy, OWL, adjustable autonomy, KAoS
56	Luc Moreau 0001, Jeffrey M. Bradshaw, Maggie R. Breedy, Larry Bunch, Patrick J. Hayes, Matt Johnson 0001, Shriniwas Kulkarni, James Lott, Niranjan Suri, Andrzej Uszok	Behavioural specification of grid services with the KAoS policy language.	CCGRID	2005	DBLP DOI BibTeX RDF
42	Tuure Saloheimo, Maximus Kaos, Pia Fricker, Perttu Hämäläinen	Automatic Recognition of Playful Physical Activity Opportunities of the Urban Environment.	MindTrek	2021	DBLP DOI BibTeX RDF
42	Inan Evin, Toni Pesola, Maximus D. Kaos, Tuukka M. Takala, Perttu Hämäläinen	3PP-R: Enabling Natural Movement in 3rd Person Virtual Reality.	CHI PLAY	2020	DBLP DOI BibTeX RDF
42	Maximus D. Kaos, Ryan E. Rhodes, Perttu Hämäläinen, T. C. Nicholas Graham	Social Play in an Exergame: How the Need to Belong Predicts Adherence.	CHI	2019	DBLP DOI BibTeX RDF
42	Lauri Lehtonen, Maximus D. Kaos, Raine A. Kajastila, Leo Holsti, Janne Karsisto, Sami Pekkola, Joni Vähämäki, Lassi Vapaakallio, Perttu Hämäläinen	Movement Empowerment in a Multiplayer Mixed-Reality Trampoline Game.	CHI PLAY	2019	DBLP DOI BibTeX RDF
42	Christina Lassheikki, Iina Nokelainen, Yuanqi Shan, Maximus Kaos, Martti Raevaara, Heikka Valja, Perttu Hämäläinen	Fair and Encouraging - Developing an Automatic Assessment System in Aalto Drawing.	CHI PLAY (Companion)	2018	DBLP DOI BibTeX RDF
42	Veera Hokkanen, Thomas Holmes, Hannu Koivuranta, Antti Sandberg, Helena Sorva, Juuso Toikka, Perttu Hämäläinen, Maximus Kaos	Plusminus: Augmenting Physics to Promote Emergent Gameplay.	CHI PLAY (Companion)	2018	DBLP DOI BibTeX RDF
42	Maximus Kaos	The Role of Agency in the Design and Play of Exercise Video Games.		2018	RDF
41	Axel van Lamsweerde, Robert Darimont, Philippe Massonet	Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt.	RE	1995	DBLP DOI BibTeX RDF	goal-directed elaboration, requirements engineering languages, nontrivial benchmark, complex requirements engineering tasks, distributed meeting scheduler system, KAOS goal directed language, goal identification, deidelization, interfering goals, abstract descriptions, retractable assumptions, hybrid acquisition strategies, scheduling, formal specification, groupware, case study, specification languages, requirements traceability, formal reasoning, meeting scheduler
40	Raimundas Matulevicius, Patrick Heymans	Visually Effective Goal Models Using KAOS.	ER Workshops	2007	DBLP DOI BibTeX RDF
40	George Koliadis, Aditya Ghose	Relating Business Process Models to Goal-Oriented Requirements Models in KAOS.	PKAW	2006	DBLP DOI BibTeX RDF
40	Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden	Analysis of multi-agent systems based on KAOS modeling.	ICSE	2006	DBLP DOI BibTeX RDF	multi-agent systems, requirement analysis, goal-oriented analysis
40	Divya Jani, Damien Vanderveken, Dewayne E. Perry	Deriving Architecture Specifications from KAOS Specifications: A Research Case Study.	EWSA	2005	DBLP DOI BibTeX RDF
40	Jeffrey M. Bradshaw, Hyuckchul Jung, Shriniwas Kulkarni, Matthew Johnson 0001, Paul J. Feltovich, James F. Allen, Larry Bunch, Nathanael Chambers, Lucian Galescu, Renia Jeffers, Niranjan Suri, William Taysom, Andrzej Uszok	Toward Trustworthy Adjustable Autonomy in KAoS.	Trusting Agents for Trusting Electronic Societies	2004	DBLP DOI BibTeX RDF
40	Gianluca Tonti, Jeffrey M. Bradshaw, Renia Jeffers, Rebecca Montanari, Niranjan Suri, Andrzej Uszok	Semantic Web Languages for Policy Representation and Reasoning: A Comparison of KAoS, Rei, and Ponder.	ISWC	2003	DBLP DOI BibTeX RDF
32	Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel	Deriving event-based transition systems from goal-oriented requirements models.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Requirements animation, Requirements analysis, Labelled transition systems, Goal-oriented requirements engineering, Method integration
32	Nima Kaviani, Dragan Gasevic, Marek Hatala, Gerd Wagner 0001, Ty Mey Eap	Exchanging Policies between Web Service Entities using Rule Languages.	IEEE SCW	2007	DBLP DOI BibTeX RDF
32	Jinpeng Huai, Xianxian Li, Wenyi Zhang, Jun Han, Yongzhen Zhuang	A Software Protocol of Goals and Operations Based on BDI Model.	SUTC (1)	2006	DBLP DOI BibTeX RDF
32	André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van	FAUST: Formal Analysis Using Specification Tools.	RE	2003	DBLP DOI BibTeX RDF
32	Axel van Lamsweerde, Laurent Willemet	Inferring Declarative Requirements Specifications from Operational Scenarios.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Scenario-based requirements elicitation, inductive inference of specifications, specification refinement and analysis, goal-oriented requirements engineering, lightweight formal methods
25	Larry Bunch, Maggie R. Breedy, Jeffrey M. Bradshaw, Marco M. Carvalho, Niranjan Suri, Andrzej Uszok, Jack Hansen, Michal Pechoucek, Vladimír Marík	Software agents for process monitoring and notification.	SAC	2004	DBLP DOI BibTeX RDF	FlexFeed, KARMEN, chemical process, ontology, agent, monitoring, policy, OWL, notification, DAML, KAOS
25	William N. Robinson, Suzanne D. Pawlowski, Vecheslav Volkov	Requirements interaction management.	ACM Comput. Surv.	2003	DBLP DOI BibTeX RDF	KATE, WinWin, deficiency driven design, distributed intentionality, software cost reduction (SCR)., Requirements engineering, system architecture, dependency analysis, viewpoints, interaction analysis, system specification, KAOS, Telos, composite system, Oz, analysis and design
25	Emmanuel Letier, Axel van Lamsweerde	Deriving operational software specifications from system goals.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	incremental specification, reasoning about partial models, patterns, goal-oriented requirements engineering, KAOS, operationalization, frame problem
24	Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya	KAOS Modeling Editor: A tool for semi-automated goal modeling (short paper).	ER (Companion)	2023	DBLP BibTeX RDF
24	Pedro Rodrigues de Carvalho Junior, Enyo José Tavares Gonçalves, Rainara Maia Carvalho, Marcos Antonio de Oliveira 0001	A Catalogue of KAOS Extensions.	WER	2022	DBLP DOI BibTeX RDF
24	Nursultan Askarbekuly, Andrey Sadovykh, Manuel Mazzara	Combining Two Modelling Approaches: GQM and KAOS in an Open Source Project.	OSS	2020	DBLP DOI BibTeX RDF
24	Toshiyuki Fujikura, Ryo Kurachi	A Test Scenario Generation Method for High Requirement Coverage by using KAOS Method.	QRS Companion	2019	DBLP DOI BibTeX RDF
24	Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas	The Generic SysML/KAOS Domain Metamodel.	CoRR	2018	DBLP BibTeX RDF
24	Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau	From SysML/KAOS Domain Models to B System Specifications.	CoRR	2018	DBLP BibTeX RDF
24	Eric Souza, Ana Moreira 0001	Deriving services from KAOS models.	SAC	2018	DBLP DOI BibTeX RDF
24	Mafalda Santos, Catarina Gralha, Miguel Goulão, João Araújo 0001	Increasing the Semantic Transparency of the KAOS Goal Model Concrete Syntax.	ER	2018	DBLP DOI BibTeX RDF
24	Timóteo Gomes, Fernanda M. R. Alencar, Aêda Sousa	De KAOS para SysML na Modelagem de Sistemas Embarcados: Uma Revisão da Literatura.	WER	2018	DBLP DOI BibTeX RDF
24	Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier	Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.	ABZ	2018	DBLP DOI BibTeX RDF
24	Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel	Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.	IFM	2018	DBLP DOI BibTeX RDF
24	Nelufar Ulfat-Bunyadi, Nazila Gol Mohammadi, Roman Wirtz, Maritta Heisel	Systematic Refinement of Softgoals Using a Combination of KAOS Goal Models and Problem Diagrams.	ICSOFT (Selected Papers)	2018	DBLP DOI BibTeX RDF
24	Nelufar Ulfat-Bunyadi, Nazila Gol Mohammadi, Maritta Heisel	Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model.	ICSOFT	2018	DBLP DOI BibTeX RDF
24	Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar	Back Propagating B System Updates on SysML/KAOS Domain Models.	ICECCS	2018	DBLP DOI BibTeX RDF
24	Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier	Formal Representation of SysML/KAOS Domain Model (Complete Version).	CoRR	2017	DBLP BibTeX RDF
24	Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier	The SysML/KAOS Domain Modeling Approach.	CoRR	2017	DBLP BibTeX RDF
24	Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier	Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach.	RE Workshops	2017	DBLP DOI BibTeX RDF
24	Murat Tuna	Kaos tabanlı çift entropi çekirdekli gerçek rasgele sayı üreteci tasarımı ve FPGA üzerinde gerçekleştirilmesi (Chaos-based dual entropy core true random number generator design and its realization on FPGA)		2017	RDF
24	Angelo Nuzzo, Giovanni Carapezza, Sebastiano Di Bella, Alfredo Pulvirenti, Antonella Isacchi, Roberta Bosotti	KAOS: a new automated computational method for the identification of overexpressed genes.	BMC Bioinform.	2016	DBLP DOI BibTeX RDF
24	Rafael Sanchez Souza, Filippo Sanfilippo, José Reinaldo Silva, Arturo Forner-Cordero	Modular exoskeleton design: Requirement engineering with KAOS.	BioRob	2016	DBLP DOI BibTeX RDF
24	Ünal Çavusoglu	Kaos tabanlı hibrit simetrik ve asimetrik şifreleme algoritmaları tasarımı ve uygulaması (Design and implementation of chaos based hybrid symetric and asymetric encryption algorithms)		2016	RDF
24	José Miguel Morales, Elena Navarro 0001, Pedro Sánchez-Palma, Diego Alonso	A controlled experiment to evaluate the understandability of KAOS and i* for modeling Teleo-Reactive systems.	J. Syst. Softw.	2015	DBLP DOI BibTeX RDF
24	Erik Casagrande, Selamawit Woldeamlak, Wei Lee Woon, Hatem H. Zeineldin, Davor Svetinovic	NLP-KAOS for Systems Goal Elicitation: Smart Metering System Case Study.	IEEE Trans. Software Eng.	2014	DBLP DOI BibTeX RDF
24	Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang	Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application.	Formal Aspects Comput.	2014	DBLP DOI BibTeX RDF
24	Hiroki Horita, Kozo Honda, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga	Transformation approach from KAOS goal models to BPMN models using refinement patterns.	SAC	2014	DBLP DOI BibTeX RDF
24	Joshua C. Nwokeji, Tony Clark 0001, Balbir Barn, Vinay Kulkarni	Automated Completeness Check in KAOS.	ER Workshops	2014	DBLP DOI BibTeX RDF
24	Ahmet Sertol Köksal	Yeni bir kaos tabanlı kriptolama sistemi ve uygulaması (A new chaos based cryptosystem and application)		2014	RDF
24	Joshua C. Nwokeji, Tony Clark 0001, Balbir S. Barn	Towards a comprehensive Meta-Model for KAOS.	MoDRE	2013	DBLP DOI BibTeX RDF
24	Benjamin Nagel, Christian Gerth, Jennifer Post, Gregor Engels	Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies.	CAiSE Forum	2013	DBLP BibTeX RDF
24	Patrícia Espada, Miguel Goulão, João Araújo 0001	A Framework to Evaluate Complexity and Completeness of KAOS Goal Models.	CAiSE	2013	DBLP DOI BibTeX RDF
24	Jeffrey Duncan, Karen Eilbeck, Catherine J. Staes, Scott P. Narus, Stephen Clyde	Using KaOS Ontologies to Model Policy Requirements for a Statewide Master Person Index.	AMIA	2013	DBLP BibTeX RDF
24	Fatih Özkaynak	Kaos tabanlı simetrik şifreleme sistemlerinin tasarım ve analizi (Design and analysis of chaos based symmetric encryption systems)		2013	RDF
24	Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho	Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling.	ANT/MobiWIS	2012	DBLP DOI BibTeX RDF
24	Ernani Gaspar Santos, Adriana Pereira de Medeiros	Design Rationale Representation in Requirements Engineering using the KAOS meta-model.	CIbSE	2011	DBLP BibTeX RDF
24	Patrícia Espada, Miguel Goulão, João Araújo 0001	Measuring complexity and completeness of KAOS goal models.	EmpiRE	2011	DBLP DOI BibTeX RDF
24	Ernani Gaspar Santos, Adriana Pereira de Medeiros	Design Rationale Representation in Requirements Engineering using the KAOS meta-model.	WER	2011	DBLP BibTeX RDF
24	Maxime Bernaert, Geert Poels	The Quest for Know-How, Know-Why, Know-What and Know-Who: Using KAOS for Enterprise Modelling.	CAiSE Workshops	2011	DBLP DOI BibTeX RDF
24	Maxime Bernaert, Geert Poels	Quest for Know-How, Know-Why, Know-What and Know-Who: Using KAOS for Enterprise Modelling.	EIS	2011	DBLP BibTeX RDF
24	Christophe Ponsard, Xavier Devroey	Generating High-Level Event-B System Models from KAOS Requirements Models.	INFORSID	2011	DBLP BibTeX RDF
24	Andrzej Uszok, Jeffrey M. Bradshaw, James Lott, Matthew Johnson 0001, Maggie R. Breedy, Michael Vignati, Keith Whittaker, Kimberly Jakubowski, Jeffrey Bowcock, Daniel Apgar	Toward a flexible ontology-based policy approach for network operations using the KAoS framework.	MILCOM	2011	DBLP DOI BibTeX RDF
24	Faisal Almisned, Jeroen Keppens	Requirements Analysis: Evaluating KAOS Models.	J. Softw. Eng. Appl.	2010	DBLP DOI BibTeX RDF
24	Frank Zickert	Evaluation of the Goal-Oriented Requirements Engineering Method KAOS.	AMCIS	2010	DBLP BibTeX RDF
24	Andrzej Uszok, Jeffrey M. Bradshaw, Thomas C. Eskridge, James Hanna	Rapid Creation and Deployment of Communities of Interest Using the CMap Ontology Editor and the KAoS Policy Services Framework.	NDT (1)	2010	DBLP DOI BibTeX RDF
24	Abderrahman Matoussi, Dorian Petit	Improving Traceability between KAOS Requirements Models and B Specifications.	ASM	2010	DBLP DOI BibTeX RDF
24	Catia Oliveira, João Araújo 0001, Carla T. L. L. Silva	Integração de KAOS com Cenários Aspectuais.	JISBD	2010	DBLP BibTeX RDF
24	Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige	KAOS-β: A Goal-oriented Process Model for EIS.	MSVVEIS	2010	DBLP BibTeX RDF
24	Tossaporn Joochim	Bringing requirements engineering to formal methods : timing diagrams for Event-B and KAOS.		2010	RDF
24	Farida Semmak, Christophe Gnaho, Régine Laleau	Extended KAOS Method to Model Variability in Requirements.	ENASE (Selected Papers)	2009	DBLP DOI BibTeX RDF
24	Farida Semmak, Christophe Gnaho, Joël Brunet, Régine Laleau	How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle.	ENASE	2009	DBLP BibTeX RDF
24	Vera Maria Benjamim Werneck, Antônio de Pádua Albuquerque Oliveira, Julio César Sampaio do Prado Leite	Comparing GORE Frameworks: i-star and KAOS.	WER	2009	DBLP BibTeX RDF
24	André Gil, João Araújo 0001	AspectKAOS: integrating early-aspects into KAOS.	EA@AOSD	2009	DBLP DOI BibTeX RDF
24	Ana Dias, Vasco Amaral 0001, João Araújo 0001	Towards a Domain Specific Language for a Goal-Oriented approach based on KAOS.	RCIS	2009	DBLP DOI BibTeX RDF
24	Jurriaan van Diggelen, Jeffrey M. Bradshaw, Matthew Johnson 0001, Andrzej Uszok, Paul J. Feltovich	Implementing Collective Obligations in Human-Agent Teams Using KAoS Policies.	COIN@AAMAS&IJCAI&MALLOW	2009	DBLP DOI BibTeX RDF
24	Farida Semmak, Christophe Gnaho, Régine Laleau	Extended Kaos to Support Variability for Goal Oriented Requirements Reuse.	MoDISE-EUS	2008	DBLP BibTeX RDF
24	Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden	Constructing Self-Adaptive Systems Using a KAOS Model.	SASO Workshops	2008	DBLP DOI BibTeX RDF
24	Joël Brunet, Farida Semmak, Régine Laleau, Christophe Gnaho	Using Variants in KAOS Goal Modelling.	ICEIS (3-2)	2008	DBLP BibTeX RDF
24	Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl	Comparing GRL and KAOS using the UEML Approach.	IESA	2007	DBLP DOI BibTeX RDF
24	Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl	Ontological Analysis of KAOS Using Separation of Reference.	EMMSAD	2006	DBLP BibTeX RDF
24	William Heaven, Anthony Finkelstein	UML profile to support requirements engineering with KAOS.	IEE Proc. Softw.	2004	DBLP DOI BibTeX RDF
24	Andrzej Uszok, Jeffrey M. Bradshaw, Matt Johnson 0001, Renia Jeffers, Austin Tate, Jeff Dalton 0002, J. Stuart Aitken	KAoS Policy Management for Semantic Web Services.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF
24	Robert Darimont, Emmanuelle Delor, Jean-Luc Roussel, André Rifaut	Requirements Engineering with Grail/Kaos: Tell the Requirements, All the Requirements, and Nothing Else but the Requirement.	RE	2002	DBLP DOI BibTeX RDF
24	Indra Neil Sarkar, Paul J. Planet, Robert DeSalle, David H. Figurski	Knowledge Aggregation from Organized Sets (KAOS) Applied to Clinical Data.	AMIA	2001	DBLP BibTeX RDF
24	Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde	GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout.	RE	1997	DBLP DOI BibTeX RDF
24	Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde	GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering.	ICSE	1997	DBLP DOI BibTeX RDF