|
|
Venues (Conferences, Journals, ...)
|
|
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 |
393 | Kathleen O'Neil Lossau |
KAOS (abstract only): a knowledge aided operator's system for the VM operator's console. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 412, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 338, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iTrust ![In: Trust Management, Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings, pp. 16-26, 2004, Springer, 3-540-21312-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
97 | Richard Banach |
A deidealisation semantics for KAOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 267-274, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA, pp. 145-152, 2008, IEEE Computer Society, 978-0-7695-3133-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings, pp. 425-440, 2004, Springer, 3-540-23798-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA, pp. 233-234, 2008, IEEE Computer Society, 978-0-7695-3133-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 4-6 June 2003, Lake Como, Italy, pp. 93-, 2003, IEEE Computer Society, 0-7695-1933-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 835-842, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 9(2), pp. 104-120, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 11th IEEE International Conference on Requirements Engineering (RE 2003), 8-12 September 2003, Monterey Bay, CA, USA., pp. 200-, 2003, IEEE Computer Society, 0-7695-1980-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 531-532, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 214-221, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, UK, pp. 816-823, 2005, IEEE Computer Society, 0-7803-9074-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MindTrek ![In: Mindtrek '21: Academic Mindtrek 2021, Virtual EVent / Tampere, Finland, June 1-3, 2021, pp. 49-59, 2021, ACM, 978-1-4503-8514-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI PLAY ![In: CHI PLAY '20: The Annual Symposium on Computer-Human Interaction in Play, Virtual Event, Canada, November 2-4, 2020, pp. 438-449, 2020, ACM, 978-1-4503-8074-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09, 2019, pp. 430, 2019, ACM, 978-1-4503-5970-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI PLAY ![In: Proceedings of the Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2019, Barcelona, Spain, October 22-25, 2019., pp. 19-29, 2019, ACM, 978-1-4503-6688-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI PLAY (Companion) ![In: Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts, CHI PLAY 2018, Melbourne, VIC, Australia, October 28-31, 2018, pp. 337-344, 2018, ACM, 978-1-4503-5968-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI PLAY (Companion) ![In: Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts, CHI PLAY 2018, Melbourne, VIC, Australia, October 28-31, 2018, pp. 321-327, 2018, ACM, 978-1-4503-5968-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Maximus Kaos |
The Role of Agency in the Design and Play of Exercise Video Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
41 | Axel van Lamsweerde, Robert Darimont, Philippe Massonet |
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 194-203, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Foundations and Applications, ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 265-275, 2007, Springer, 978-3-540-76291-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | George Koliadis, Aditya Ghose |
Relating Business Process Models to Goal-Oriented Requirements Models in KAOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKAW ![In: Advances in Knowledge Acquisition and Management, Pacific Rim Knowledge Acquisition Workshop, PKAW 2006, Guilin, China, August 7-8, 2006, Revised Selected Papers, pp. 25-39, 2006, Springer, 3-540-68955-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden |
Analysis of multi-agent systems based on KAOS modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 926-929, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSA ![In: Software Architecture, 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings, pp. 185-202, 2005, Springer, 3-540-26275-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trusting Agents for Trusting Electronic Societies ![In: Trusting Agents for Trusting Electronic Societies, Theory and Applications in HCI and E-Commerce, pp. 18-42, 2004, Springer, 3-540-28012-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings, pp. 419-437, 2003, Springer, 3-540-20362-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 15(2), pp. 175-206, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCW ![In: 2007 IEEE International Conference on Services Computing - Workshops (SCW 2007), 9-13 July 2007, Salt Lake City, Utah, USA, pp. 57-64, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUTC (1) ![In: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2006), 5-7 June 2006, Taichung, Taiwan, pp. 454-461, 2006, IEEE Computer Society, 0-7695-2553-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 11th IEEE International Conference on Requirements Engineering (RE 2003), 8-12 September 2003, Monterey Bay, CA, USA., pp. 350, 2003, IEEE Computer Society, 0-7695-1980-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Axel van Lamsweerde, Laurent Willemet |
Inferring Declarative Requirements Specifications from Operational Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(12), pp. 1089-1114, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 94-100, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 35(2), pp. 132-190, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002, pp. 119-128, 2002, ACM, 1-58113-514-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Companion) ![In: Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 7th SCME, Project Exhibitions, Posters and Demos, and Doctoral Consortium co-located with ER 2023, Lisbon, Portugal, November 06-09, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WER ![In: Anais do WER22 - Workshop em Engenharia de Requisitos, Natal - RN, Brazil, August 23-26, 2022., 2022, WERpapers. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Nursultan Askarbekuly, Andrey Sadovykh, Manuel Mazzara |
Combining Two Modelling Approaches: GQM and KAOS in an Open Source Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSS ![In: Open Source Systems - 16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12-14, 2020, Proceedings, pp. 106-119, 2020, Springer, 978-3-030-47239-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Toshiyuki Fujikura, Ryo Kurachi |
A Test Scenario Generation Method for High Requirement Coverage by using KAOS Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 19th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2019, Sofia, Bulgaria, July 22-26, 2019, pp. 542-543, 2019, IEEE, 978-1-7281-3925-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.04732, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.01972, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Eric Souza, Ana Moreira 0001 |
Deriving services from KAOS models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, pp. 1308-1315, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings, pp. 424-439, 2018, Springer, 978-3-030-00846-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WER ![In: Anais do WER18 - Workshop em Engenharia de Requisitos, Rio de Janeiro, Brasil, September 5-6, 2018., 2018, 978-85-907171-1-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 55-70, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pp. 377-397, 2018, Springer, 978-3-319-98937-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (Selected Papers) ![In: Software Technologies - 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers, pp. 150-172, 2018, Springer, 978-3-030-29156-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 13th International Conference on Software Technologies, ICSOFT 2018, Porto, Portugal, July 26-28, 2018., pp. 136-145, 2018, SciTePress, 978-989-758-320-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018, pp. 160-169, 2018, IEEE Computer Society, 978-1-5386-9341-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier |
Formal Representation of SysML/KAOS Domain Model (Complete Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.07406, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier |
The SysML/KAOS Domain Modeling Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.00903, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier |
Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE Workshops ![In: IEEE 25th International Requirements Engineering Conference Workshops, RE 2017 Workshops, Lisbon, Portugal, September 4-8, 2017, pp. 1-5, 2017, IEEE Computer Society, 978-1-5386-3488-2. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 17(S-12), pp. 5-14, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Rafael Sanchez Souza, Filippo Sanfilippo, José Reinaldo Silva, Arturo Forner-Cordero |
Modular exoskeleton design: Requirement engineering with KAOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioRob ![In: 6th IEEE International Conference on Biomedical Robotics and Biomechatronics, BioRob 2016, Singapore, June 26-29, 2016, pp. 978-983, 2016, IEEE, 978-1-5090-3287-7. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 100, pp. 1-14, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 40(10), pp. 941-956, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 26(2), pp. 319-366, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, pp. 1023-1024, 2014, ACM, 978-1-4503-2469-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Joshua C. Nwokeji, Tony Clark 0001, Balbir Barn, Vinay Kulkarni |
Automated Completeness Check in KAOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings, pp. 133-138, 2014, Springer, 978-3-319-12255-7. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
24 | Joshua C. Nwokeji, Tony Clark 0001, Balbir S. Barn |
Towards a comprehensive Meta-Model for KAOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDRE ![In: International Workshop on Model-Driven Requirements Engineering, MoDRE 2013, Rio de Janeiro, Brasil, July 15, 2013, pp. 30-39, 2013, IEEE Computer Society, 978-1-4799-0946-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin Nagel, Christian Gerth, Jennifer Post, Gregor Engels |
Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Forum ![In: Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), Valencia, Spain, June 20th, 2013, pp. 9-16, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering - 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings, pp. 562-577, 2013, Springer, 978-3-642-38708-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2013, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 16-20, 2013, 2013, AMIA. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
24 | Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho |
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/MobiWIS ![In: Proceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies (ANT 2012), the 9th International Conference on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario, Canada, August 27-29, 2012, pp. 474-481, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Ernani Gaspar Santos, Adriana Pereira de Medeiros |
Design Rationale Representation in Requirements Engineering using the KAOS meta-model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIbSE ![In: Proceedings of the 14th Iberoamerican Conference on Software Engineering, CIbSE 2011, Rio de Janeiro, Brasil, April 27-29, 2011, pp. 383-394, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
24 | Patrícia Espada, Miguel Goulão, João Araújo 0001 |
Measuring complexity and completeness of KAOS goal models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EmpiRE ![In: First International Workshop on Empirical Requirements Engineering, EmpiRE 2011, Trento, Italy, August 30, 2011, pp. 29-32, 2011, IEEE Computer Society, 978-1-4577-1075-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Ernani Gaspar Santos, Adriana Pereira de Medeiros |
Design Rationale Representation in Requirements Engineering using the KAOS meta-model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WER ![In: Anais do WER11 - Workshop em Engenharia de Requisitos, Rio de Janeiro-RJ, Brasil, Abril 28-29, 2011, 2011, 978-85-8006-032-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Workshops ![In: Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings, pp. 29-40, 2011, Springer, 978-3-642-22055-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIS ![In: Proceedings of the 6th SIKS Conference on Enterprise Information Systems, EIS 2011, Delft, The Netherlands, October 31, 2011, pp. 15-16, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
24 | Christophe Ponsard, Xavier Devroey |
Generating High-Level Event-B System Models from KAOS Requirements Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORSID ![In: Actes du XXIXème Congrès INFORSID, Lille, France, 24-25 mai 2011, pp. 317-332, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: MILCOM 2011 - 2011 IEEE Military Communications Conference, Baltimore, MD, USA, November 7-10, 2011, pp. 1108-1114, 2011, IEEE, 978-1-4673-0079-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Faisal Almisned, Jeroen Keppens |
Requirements Analysis: Evaluating KAOS Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Eng. Appl. ![In: J. Softw. Eng. Appl. 3(9), pp. 869-874, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Frank Zickert |
Evaluation of the Goal-Oriented Requirements Engineering Method KAOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: Sustainable IT Collaboration Around the Globe. 16th Americas Conference on Information Systems, AMCIS 2010, Lima, Peru, August 12-15, 2010, pp. 177, 2010, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDT (1) ![In: Networked Digital Technologies - Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I, pp. 451-466, 2010, Springer, 978-3-642-14291-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Abderrahman Matoussi, Dorian Petit |
Improving Traceability between KAOS Requirements Models and B Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 401-402, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JISBD ![In: XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), Valencia, Spain, September 7-10, 2010. Actas, pp. 49-60, 2010, IBERGARCETA Pub. S.L., 978-84-92812-51-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige |
KAOS-β: A Goal-oriented Process Model for EIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010, pp. 40-49, 2010, SciTePress, 978-989-8425-12-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Tossaporn Joochim |
Bringing requirements engineering to formal methods : timing diagrams for Event-B and KAOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
24 | Farida Semmak, Christophe Gnaho, Régine Laleau |
Extended KAOS Method to Model Variability in Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE (Selected Papers) ![In: Evaluation of Novel Approaches to Software Engineering - 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers, pp. 193-205, 2009, 978-3-642-14818-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: ENASE 2009 - Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering, Milan, Italy, May 2009, pp. 87-94, 2009, INSTICC Press, 978-989-8111-98-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WER ![In: Anais do WER09 - Workshop em Engenharia de Requisitos, Valparaíso, Chile, Julho 16-17, 2009, 2009, 978-956-319-941-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | André Gil, João Araújo 0001 |
AspectKAOS: integrating early-aspects into KAOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EA@AOSD ![In: Proceedings of the 15th workshop on Early aspects, EA@AOSD '09, Charlottesville, Virginia, USA, March 3, 2009, pp. 31-36, 2009, ACM, 978-1-60558-456-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: Proceedings of the Third IEEE International Conference on Research Challenges in Information Science, RCIS 2009, Fès, Morocco, 22-24 April 2009, pp. 409-420, 2009, IEEE, 978-1-4244-2864-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN@AAMAS&IJCAI&MALLOW ![In: Coordination, Organizations, Institutions and Norms in Agent Systems V, COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009. Revised Selected Papers, pp. 36-52, 2009, Springer, 978-3-642-14961-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Farida Semmak, Christophe Gnaho, Régine Laleau |
Extended Kaos to Support Variability for Goal Oriented Requirements Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDISE-EUS ![In: Proceedings of the International Workshop on Model Driven Information Systems Engineering: Enterprise, User and System Models (MoDISE-EUS'08) held in conjunction with the CAiSE'08 Conference, Montpellier, France, June 16-17, 2008, pp. 22-33, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden |
Constructing Self-Adaptive Systems Using a KAOS Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASO Workshops ![In: Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008, Workshops Proceedings, October 20-24, 2008, Venice, Italy, pp. 132-137, 2008, IEEE Computer Society, 978-0-7695-3553-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Joël Brunet, Farida Semmak, Régine Laleau, Christophe Gnaho |
Using Variants in KAOS Goal Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3-2) ![In: ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume ISAS-2, Barcelona, Spain, June 12-16, 2008, pp. 339-344, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl |
Comparing GRL and KAOS using the UEML Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESA ![In: Enterprise Interoperability II - New Challenges and Industrial Approaches, Proceedings of the 3th International Conference on Interoperability for Enterprise Software and Applications, IESA 2007, March 27-30, 2007, Funchal, Madeira Island, Portugal, pp. 77-88, 2007, Springer, 978-1-84628-857-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Raimundas Matulevicius, Patrick Heymans, Andreas L. Opdahl |
Ontological Analysis of KAOS Using Separation of Reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMMSAD ![In: Proceedings of the 11th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2006, held in conjunction with the 18th Conference on Advanced Information Systems (CAiSE 2006), Luxembourg, 5-9 June, 2006, pp. 33-44, 2006, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | William Heaven, Anthony Finkelstein |
UML profile to support requirements engineering with KAOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEE Proc. Softw. ![In: IEE Proc. Softw. 151(1), pp. 10-28, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 19(4), pp. 32-41, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany, pp. 299, 2002, IEEE Computer Society, 0-7695-1465-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2001, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 3-7, 2001, 2001, AMIA. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 3rd IEEE International Symposium on Requirements Engineering (RE'97), January 5-8, 1997, Annapolis, MD, USA, pp. 140, 1997, IEEE Computer Society, 0-8186-7740-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde |
GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 612-613, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 131 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|