„formal description methods“

Suchergebnisse

1.000+ Treffer

• Model-Driven Dependability Assessment of Software Systems
  Bernardi, Simona ; Merseguer, Jose ; Petriu, Dorina C. 2013 Springer Berlin Heidelberg
• Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis
  Kriegel, Francesco ; Baader, Franz ; Kuznetsov, Sergei O. 2019 Technische Universität Dresden
• Learning Description Logic Knowledge Bases from Data Using Methods from Formal Concept Analysis
  Distel, Felix ; Baader, Franz ; Stumme, Gerd 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Formal concept analysis methods for description logics
  Sertkaya, Barış
• Formal Methods for Model-Driven Engineering – 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
  Bernardo, Marco ; Cortellessa, Vittorio ; Pierantonio, Alfonso 2012 Springer Berlin Heidelberg
• Automated Reasoning – 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
  Gramlich, Bernhard ; Miller, Dale ; Sattler, Ulrike 2012 Springer Berlin Heidelberg
• Descriptional Complexity of Formal Systems – 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
  Holzer, Markus ; Kutrib, Martin ; Pighizzini, Giuliano 2011 Springer Berlin Heidelberg
• Automated Reasoning – 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
  2014 Springer International Publishing
• The Handbook of Formal Methods in Human-Computer Interaction
  Weyers, Benjamin ; Bowen, Judy ; Dix, Alan ; Palanque, Philippe 2017 Springer International Publishing
• FORMS/FORMAT 2010 – Formal Methods for Automation and Safety in Railway and Automotive Systems
  Schnieder, Eckehard 2011 Springer Berlin
• Durchgängige Prozesssicht in unterschiedlichen Domänen Methoden und Werkzeug zum Einsatz der formalisierten Prozessbeschreibung Universal View on Processes in Different Domains Methods and Tool for Formalised Process Descriptions
  Ulrich, Alexander ; Güttel, Knut ; Fay, Alexander
• Reasoning web – semantic technologies for the web of data ; 7th international summer school 2011, Galway, Ireland, August 23 - 27, 2011 ; tutorial lectures
  Polleres, Axel ; D'Amato, Claudia ; Arenas, Marcelo ; Handschuh, Siegfried ; Kroner, Paula ; Ossowski, Sascha ; Patel-Schneider, Peter F. 2011 Springer
• Problem solving methods – understanding, description, development, and reuse
  Fensel, Dieter 2001 Springer
• Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis – A Dissertation Summary
  Kriegel, Francesco
• Constructing and extending description logic ontologies using methods of formal concept analysis
  Kriegel, Francesco 2019
• Descriptional complexity of formal systems – 13 international workshop ; proceedings
  Holzer, Markus ; Kutrib, Martin ; Pighizzini, Giuliano 2011 Springer
• Reuse of test generation methods for embedded systems
  Guerrouat, Abdelaziz ; Richter, Harald 2005 Technische Universität Clausthal
• Model-driven dependability assessment of software systems
  Bernardi, Simona ; Merseguer, José ; Petriu, Dorina C. 2013 Springer
• Formal Methods for Protocol Engineering and Distributed Systems – FORTE XII/PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China
  1999 Springer US
• Problem solving methods – understanding, description, development, and reuse
  Fensel, Dieter 2000 Springer