„Formal specification“

Suchergebnisse

1.000+ Treffer

• Validation of formal specifications through transformation and animation
  Mashkoor, Atif ; Jacquot, Jean-Pierre
• A formal MIM specification and tools for the common exchange of MIM diagrams: an XML-Based format, an API, and a validation method
  Luna, Augustin ; Karac, Evrim I. ; Sunshine, Margot ; Chang, Lucas ; Nussinov, Ruth ; Aladjem, Mirit I. ; Kohn, Kurt W.
• A Generic Approach to the Formal Specification of Requirements
  Peper, Christian ; Gotzhein, Reinhard ; Kronenburg, Martin 1997 Technische Universität Kaiserslautern, Fachbereich Informatik
• Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411)
  Ehrig, Hartmut ; Engels, Gregor ; Orejas, Fernando ; Wirsing, Martin 2001 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Integrated Formal Task Specification Method for Smart Environments
  Wurdel, Maik ; Forbrig, Peter ; Kirste, Thomas ; Vanderdonckt, Jean 2011 Universität Rostock
• Specification of regret-based models of choice behaviour: formal analyses and experimental design based evidence
  Rasouli, Soora ; Timmermans, Harry J. P.
• An Engineering-Oriented Formal Framework for Railway Interlocking Systems Requirements Specifications
  Hon, Yuen-Man ; Pachl, Jörn 2009 Technische Universität Braunschweig
• Toward formal development of programs from algebraic specifications – parameterisation revisited
  Sannella, Donald ; Sokołowski, Stefan ; Tarlecki, Andrzej 1990 [Fachbereich Mathematik, Informatik, Univ.]
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
  Sannella, Donald ; Sokołowski, Stefan ; Tarlecki, Andrzej
• Flaw detection in formal specifications
  Reif, Wolfgang ; Schellhorn, Gerhard ; Thums, Andreas ; Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias 2001 Universität Augsburg
• Agent Technology from a Formal Perspective
  Hinchey, Michael ; Rash, James ; Truszkowski, Walt ; Gordon-Spears, Diana F. ; Rouff, Christopher A. 2006 Springer London
• Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  Przigoda, Nils ; Wille, Robert ; Przigoda, Judith ; Drechsler, Rolf 2018 Springer International Publishing
• Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications
  O'Regan, Gerard 2017 Springer International Publishing
• Experience of using a lightweight formal specification method for a commercial embedded system product line
  Breen, Michael
• The influence of formal representation on solution specification
  Khazaei, Babak ; Roast, Chris
• Formal specification of an erase block management layer for flash memory
  Pfähler, Jörg ; Ernst, Gidon ; Schellhorn, Gerhard ; Haneberg, Dominik ; Reif, Wolfgang ; Bertacco, Valeria ; Legay, Axel 2013 Universität Augsburg
• Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV – Special Issue on Data Management - Principles, Technologies, and Applications
  Hameurlain, Abdelkader ; Tjoa, A Min ; Boucelma, Omar ; Toumani, Farouk 2023 Springer Berlin
• Analysis and formal verification of SDL'92 specifications using extended Petri nets
  Fischer, Joachim ; Dimitrov, Evgeni ; Taubert, Udo 1995 Professoren des Inst. für Informatik
• Formal specifications with higher order parameterization
  Cengarle, María Victoria 1995 Shaker
• The Z-formal specification notation – proceedings
  Bowen, Jonathan P. 1995 Springer