Integrating Domain Modeling Within a Formal Requirements Engineering Method
暂无分享,去创建一个
[1] Guy Pierra,et al. Context Representation in Domain Ontologies and Its Use for Semantic Integration of Data , 2008, J. Data Semant..
[2] Sepanta Sekhavat,et al. The Cycab robot: a differentially flat system , 2000, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113).
[3] Betty H. C. Cheng,et al. A general framework for formalizing UML with formal languages , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[4] Li Zong-yong,et al. The Domain Ontology and Domain Rules Based Requirements Model Checking , 2007 .
[5] Haruhiko Kaiya,et al. An Integrated Tool for Supporting Ontology Driven Requirements Elicitation , 2007, ICSOFT.
[6] Amel Mammar,et al. On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications , 2016, ISoLA.
[7] Haruhiko Kaiya,et al. GOORE : Goal-Oriented and Ontology Driven Requirements Elicitation Method , 2007, ER Workshops.
[8] Dines Bjørner,et al. Compositionality: Ontology and Mereology of Domains , 2010, Concurrency, Compositionality, and Correctness.
[9] Marc Frappier,et al. Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications , 2018, ABZ.
[10] KiferMichael,et al. F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989 .
[11] Régine Laleau,et al. A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
[12] Markus Lumpe,et al. KBRE: a framework for knowledge-based requirements engineering , 2014, Software Quality Journal.
[13] Michael Kifer,et al. F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.
[14] Axel van Lamsweerde,et al. Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .
[15] Régine Laleau,et al. A first attempt to combine SysML requirements diagrams and B , 2010, Innovations in Systems and Software Engineering.
[16] Jéssyka Vilela,et al. Applications of ontologies in requirements engineering: a systematic review of the literature , 2015, Requirements Engineering.
[17] Pascal Hitzler,et al. Web Ontology Language (OWL) , 2018, Encyclopedia of Social Network Analysis and Mining. 2nd Ed..
[18] Manfred Broy,et al. Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering , 2013, Perspectives on the Future of Software Engineering.
[19] Guy Pierra,et al. The PLIB ontology-based approach to data integration , 2004, IFIP Congress Topical Sessions.
[20] Mickaël Baron,et al. Ontologies in engineering: the OntoDB/OntoQL platform , 2017, Soft Comput..
[21] Vladan Devedzic,et al. Knowledge modeling - State of the art , 2001, Integr. Comput. Aided Eng..