The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for KAOS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-2002 (15) 2003-2004 (21) 2005-2007 (21) 2008-2009 (19) 2010-2011 (15) 2012-2016 (15) 2017-2018 (17) 2019-2023 (8)
Publication types (Num. hits)
article(16) inproceedings(109) phdthesis(6)
Venues (Conferences, Journals, ...)
RE(7) POLICY(6) CoRR(4) SAC(4) WER(4) IEEE Trans. Software Eng.(3) AAMAS(2) ABZ(2) AMIA(2) ARES(2) CAiSE(2) CHI PLAY(2) CHI PLAY (Companion)(2) ER Workshops(2) ICSE(2) ISWC(2) More (+10 of total 92)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 95 occurrences of 60 keywords

Results
Found 132 publication records. Showing 131 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
393Kathleen O'Neil Lossau KAOS (abstract only): a knowledge aided operator's system for the VM operator's console. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
120Abderrahman Matoussi, Frédéric Gervais, Régine Laleau A First Attempt to Express KAOS Refinement Patterns with Event B. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
104Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers KAoS: A Policy and Domain Services Framework for Grid Computing and Semantic Web Services. Search on Bibsonomy iTrust The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
97Richard Banach A deidealisation semantics for KAOS. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF tower pattern, refinement, ASM, retrenchment, KAOS
97Andrzej 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. Search on Bibsonomy POLICY The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ontology, policy, OWL, policy management, KAoS
88Andrzej 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. Search on Bibsonomy ISWC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
81Andrzej Uszok, Jeffrey M. Bradshaw Demonstrating Selected W3C Policy Languages Interest Group Use Cases Using the KAoS Policy Services Framework. Search on Bibsonomy POLICY The full citation details ... 2008 DBLP  DOI  BibTeX  RDF policy use cases, PLING, W3C, KAoS
81Andrzej 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. Search on Bibsonomy POLICY The full citation details ... 2003 DBLP  DOI  BibTeX  RDF policy conflict resolution, ontology, agent, policy, description logic, domains, DAML, KAoS
81Jeffrey 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. Search on Bibsonomy AAMAS The full citation details ... 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
64Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde Deriving tabular event-based specifications from goal-oriented requirements models. Search on Bibsonomy Requir. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Specification transformation, Lightweight formal analysis, Goal-oriented requirements engineering, Method integration, SCR
64Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. Search on Bibsonomy RE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
64Hiroyuki Nakagawa, Kenji Taguchi 0001, Shinichi Honiden Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal methods, model transformation, requirements analysis
57Jeffrey 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. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF human-agent teamwork, kaa, trust, policy, OWL, adjustable autonomy, KAoS
56Luc 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. Search on Bibsonomy CCGRID The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Tuure Saloheimo, Maximus Kaos, Pia Fricker, Perttu Hämäläinen Automatic Recognition of Playful Physical Activity Opportunities of the Urban Environment. Search on Bibsonomy MindTrek The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
42Inan Evin, Toni Pesola, Maximus D. Kaos, Tuukka M. Takala, Perttu Hämäläinen 3PP-R: Enabling Natural Movement in 3rd Person Virtual Reality. Search on Bibsonomy CHI PLAY The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Maximus 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. Search on Bibsonomy CHI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Lauri 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. Search on Bibsonomy CHI PLAY The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
42Christina 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. Search on Bibsonomy CHI PLAY (Companion) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Veera 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. Search on Bibsonomy CHI PLAY (Companion) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Maximus Kaos The Role of Agency in the Design and Play of Exercise Video Games. Search on Bibsonomy 2018   RDF
41Axel van Lamsweerde, Robert Darimont, Philippe Massonet Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. Search on Bibsonomy RE The full citation details ... 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
40Raimundas Matulevicius, Patrick Heymans Visually Effective Goal Models Using KAOS. Search on Bibsonomy ER Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40George Koliadis, Aditya Ghose Relating Business Process Models to Goal-Oriented Requirements Models in KAOS. Search on Bibsonomy PKAW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden Analysis of multi-agent systems based on KAOS modeling. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multi-agent systems, requirement analysis, goal-oriented analysis
40Divya Jani, Damien Vanderveken, Dewayne E. Perry Deriving Architecture Specifications from KAOS Specifications: A Research Case Study. Search on Bibsonomy EWSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Jeffrey 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. Search on Bibsonomy Trusting Agents for Trusting Electronic Societies The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Gianluca 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. Search on Bibsonomy ISWC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel Deriving event-based transition systems from goal-oriented requirements models. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Requirements animation, Requirements analysis, Labelled transition systems, Goal-oriented requirements engineering, Method integration
32Nima Kaviani, Dragan Gasevic, Marek Hatala, Gerd Wagner 0001, Ty Mey Eap Exchanging Policies between Web Service Entities using Rule Languages. Search on Bibsonomy IEEE SCW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Jinpeng Huai, Xianxian Li, Wenyi Zhang, Jun Han, Yongzhen Zhuang A Software Protocol of Goals and Operations Based on BDI Model. Search on Bibsonomy SUTC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van FAUST: Formal Analysis Using Specification Tools. Search on Bibsonomy RE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Axel van Lamsweerde, Laurent Willemet Inferring Declarative Requirements Specifications from Operational Scenarios. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Scenario-based requirements elicitation, inductive inference of specifications, specification refinement and analysis, goal-oriented requirements engineering, lightweight formal methods
25Larry 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. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF FlexFeed, KARMEN, chemical process, ontology, agent, monitoring, policy, OWL, notification, DAML, KAOS
25William N. Robinson, Suzanne D. Pawlowski, Vecheslav Volkov Requirements interaction management. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 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
25Emmanuel Letier, Axel van Lamsweerde Deriving operational software specifications from system goals. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF incremental specification, reasoning about partial models, patterns, goal-oriented requirements engineering, KAOS, operationalization, frame problem
24Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya KAOS Modeling Editor: A tool for semi-automated goal modeling (short paper). Search on Bibsonomy ER (Companion) The full citation details ... 2023 DBLP  BibTeX  RDF
24Pedro Rodrigues de Carvalho Junior, Enyo José Tavares Gonçalves, Rainara Maia Carvalho, Marcos Antonio de Oliveira 0001 A Catalogue of KAOS Extensions. Search on Bibsonomy WER The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Nursultan Askarbekuly, Andrey Sadovykh, Manuel Mazzara Combining Two Modelling Approaches: GQM and KAOS in an Open Source Project. Search on Bibsonomy OSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Toshiyuki Fujikura, Ryo Kurachi A Test Scenario Generation Method for High Requirement Coverage by using KAOS Method. Search on Bibsonomy QRS Companion The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas The Generic SysML/KAOS Domain Metamodel. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau From SysML/KAOS Domain Models to B System Specifications. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Eric Souza, Ana Moreira 0001 Deriving services from KAOS models. Search on Bibsonomy SAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Mafalda Santos, Catarina Gralha, Miguel Goulão, João Araújo 0001 Increasing the Semantic Transparency of the KAOS Goal Model Concrete Syntax. Search on Bibsonomy ER The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Timóteo Gomes, Fernanda M. R. Alencar, Aêda Sousa De KAOS para SysML na Modelagem de Sistemas Embarcados: Uma Revisão da Literatura. Search on Bibsonomy WER The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Steve 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. Search on Bibsonomy ABZ The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Nelufar Ulfat-Bunyadi, Nazila Gol Mohammadi, Roman Wirtz, Maritta Heisel Systematic Refinement of Softgoals Using a Combination of KAOS Goal Models and Problem Diagrams. Search on Bibsonomy ICSOFT (Selected Papers) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Nelufar Ulfat-Bunyadi, Nazila Gol Mohammadi, Maritta Heisel Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model. Search on Bibsonomy ICSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar Back Propagating B System Updates on SysML/KAOS Domain Models. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier Formal Representation of SysML/KAOS Domain Model (Complete Version). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
24Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier The SysML/KAOS Domain Modeling Approach. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
24Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. Search on Bibsonomy RE Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Murat 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) Search on Bibsonomy 2017   RDF
24Angelo Nuzzo, Giovanni Carapezza, Sebastiano Di Bella, Alfredo Pulvirenti, Antonella Isacchi, Roberta Bosotti KAOS: a new automated computational method for the identification of overexpressed genes. Search on Bibsonomy BMC Bioinform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Rafael Sanchez Souza, Filippo Sanfilippo, José Reinaldo Silva, Arturo Forner-Cordero Modular exoskeleton design: Requirement engineering with KAOS. Search on Bibsonomy BioRob The full citation details ... 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) Search on Bibsonomy 2016   RDF
24José 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. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Erik Casagrande, Selamawit Woldeamlak, Wei Lee Woon, Hatem H. Zeineldin, Davor Svetinovic NLP-KAOS for Systems Goal Elicitation: Smart Metering System Case Study. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Richard 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. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Hiroki Horita, Kozo Honda, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga Transformation approach from KAOS goal models to BPMN models using refinement patterns. Search on Bibsonomy SAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Joshua C. Nwokeji, Tony Clark 0001, Balbir Barn, Vinay Kulkarni Automated Completeness Check in KAOS. Search on Bibsonomy ER Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Ahmet Sertol Köksal Yeni bir kaos tabanlı kriptolama sistemi ve uygulaması (A new chaos based cryptosystem and application) Search on Bibsonomy 2014   RDF
24Joshua C. Nwokeji, Tony Clark 0001, Balbir S. Barn Towards a comprehensive Meta-Model for KAOS. Search on Bibsonomy MoDRE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Benjamin Nagel, Christian Gerth, Jennifer Post, Gregor Engels Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies. Search on Bibsonomy CAiSE Forum The full citation details ... 2013 DBLP  BibTeX  RDF
24Patrícia Espada, Miguel Goulão, João Araújo 0001 A Framework to Evaluate Complexity and Completeness of KAOS Goal Models. Search on Bibsonomy CAiSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Jeffrey Duncan, Karen Eilbeck, Catherine J. Staes, Scott P. Narus, Stephen Clyde Using KaOS Ontologies to Model Policy Requirements for a Statewide Master Person Index. Search on Bibsonomy AMIA The full citation details ... 2013 DBLP  BibTeX  RDF
24Fatih Özkaynak Kaos tabanlı simetrik şifreleme sistemlerinin tasarım ve analizi (Design and analysis of chaos based symmetric encryption systems) Search on Bibsonomy 2013   RDF
24Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. Search on Bibsonomy ANT/MobiWIS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Ernani Gaspar Santos, Adriana Pereira de Medeiros Design Rationale Representation in Requirements Engineering using the KAOS meta-model. Search on Bibsonomy CIbSE The full citation details ... 2011 DBLP  BibTeX  RDF
24Patrícia Espada, Miguel Goulão, João Araújo 0001 Measuring complexity and completeness of KAOS goal models. Search on Bibsonomy EmpiRE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Ernani Gaspar Santos, Adriana Pereira de Medeiros Design Rationale Representation in Requirements Engineering using the KAOS meta-model. Search on Bibsonomy WER The full citation details ... 2011 DBLP  BibTeX  RDF
24Maxime Bernaert, Geert Poels The Quest for Know-How, Know-Why, Know-What and Know-Who: Using KAOS for Enterprise Modelling. Search on Bibsonomy CAiSE Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Maxime Bernaert, Geert Poels Quest for Know-How, Know-Why, Know-What and Know-Who: Using KAOS for Enterprise Modelling. Search on Bibsonomy EIS The full citation details ... 2011 DBLP  BibTeX  RDF
24Christophe Ponsard, Xavier Devroey Generating High-Level Event-B System Models from KAOS Requirements Models. Search on Bibsonomy INFORSID The full citation details ... 2011 DBLP  BibTeX  RDF
24Andrzej 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. Search on Bibsonomy MILCOM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Faisal Almisned, Jeroen Keppens Requirements Analysis: Evaluating KAOS Models. Search on Bibsonomy J. Softw. Eng. Appl. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Frank Zickert Evaluation of the Goal-Oriented Requirements Engineering Method KAOS. Search on Bibsonomy AMCIS The full citation details ... 2010 DBLP  BibTeX  RDF
24Andrzej 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. Search on Bibsonomy NDT (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Abderrahman Matoussi, Dorian Petit Improving Traceability between KAOS Requirements Models and B Specifications. Search on Bibsonomy ASM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Catia Oliveira, João Araújo 0001, Carla T. L. L. Silva Integração de KAOS com Cenários Aspectuais. Search on Bibsonomy JISBD The full citation details ... 2010 DBLP  BibTeX  RDF
24Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige KAOS-β: A Goal-oriented Process Model for EIS. Search on Bibsonomy MSVVEIS The full citation details ... 2010 DBLP  BibTeX  RDF
24Tossaporn Joochim Bringing requirements engineering to formal methods : timing diagrams for Event-B and KAOS. Search on Bibsonomy 2010   RDF
24Farida Semmak, Christophe Gnaho, Régine Laleau Extended KAOS Method to Model Variability in Requirements. Search on Bibsonomy ENASE (Selected Papers) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Farida Semmak, Christophe Gnaho, Joël Brunet, Régine Laleau How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle. Search on Bibsonomy ENASE The full citation details ... 2009 DBLP  BibTeX  RDF
24Vera Maria Benjamim Werneck, Antônio de Pádua Albuquerque Oliveira, Julio César Sampaio do Prado Leite Comparing GORE Frameworks: i-star and KAOS. Search on Bibsonomy WER The full citation details ... 2009 DBLP  BibTeX  RDF
24André Gil, João Araújo 0001 AspectKAOS: integrating early-aspects into KAOS. Search on Bibsonomy EA@AOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Ana Dias, Vasco Amaral 0001, João Araújo 0001 Towards a Domain Specific Language for a Goal-Oriented approach based on KAOS. Search on Bibsonomy RCIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Jurriaan van Diggelen, Jeffrey M. Bradshaw, Matthew Johnson 0001, Andrzej Uszok, Paul J. Feltovich Implementing Collective Obligations in Human-Agent Teams Using KAoS Policies. Search on Bibsonomy COIN@AAMAS&IJCAI&MALLOW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Farida Semmak, Christophe Gnaho, Régine Laleau Extended Kaos to Support Variability for Goal Oriented Requirements Reuse. Search on Bibsonomy MoDISE-EUS The full citation details ... 2008 DBLP  BibTeX  RDF
24Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden Constructing Self-Adaptive Systems Using a KAOS Model. Search on Bibsonomy SASO Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Joël Brunet, Farida Semmak, Régine Laleau, Christophe Gnaho Using Variants in KAOS Goal Modelling. Search on Bibsonomy ICEIS (3-2) The full citation details ... 2008 DBLP  BibTeX  RDF
24Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl Comparing GRL and KAOS using the UEML Approach. Search on Bibsonomy IESA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl Ontological Analysis of KAOS Using Separation of Reference. Search on Bibsonomy EMMSAD The full citation details ... 2006 DBLP  BibTeX  RDF
24William Heaven, Anthony Finkelstein UML profile to support requirements engineering with KAOS. Search on Bibsonomy IEE Proc. Softw. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Andrzej Uszok, Jeffrey M. Bradshaw, Matt Johnson 0001, Renia Jeffers, Austin Tate, Jeff Dalton 0002, J. Stuart Aitken KAoS Policy Management for Semantic Web Services. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Robert 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. Search on Bibsonomy RE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Indra Neil Sarkar, Paul J. Planet, Robert DeSalle, David H. Figurski Knowledge Aggregation from Organized Sets (KAOS) Applied to Clinical Data. Search on Bibsonomy AMIA The full citation details ... 2001 DBLP  BibTeX  RDF
24Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. Search on Bibsonomy RE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
24Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. Search on Bibsonomy ICSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 131 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license