„program specification“

Suchergebnisse

422 Treffer

• Unifying Theories of Programming and Formal Engineering Methods – International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
  Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao 2013 Springer Berlin Heidelberg
• Foundations of Algebraic Specification and Formal Software Development
  Sannella, Donald ; Tarlecki, Andrzej 2012 Springer Berlin Heidelberg
• Specification and verification of object oriented software components
  Roth, Andreas 2006 Univ.-Verl. Karlsruhe
• Babelsberg/RML – executable semantics and language testing with RML
  Felgentreff, Tim ; Hirschfeld, Robert ; Millstein, Todd ; Borning, Alan 2016 Universitätsverlag Potsdam
• Spectra: a specification language for reactive systems
  Maoz, Shahar ; Ringert, Jan Oliver
• Partitioning of perfect synchroneous reactive specifications to distributed processors using μ-charts
  Scholz, Peter
• New Functionalities of the System for Processing Natural Language Specifications and its Operating Environment
  Mishchenko, N. M. ; Morokhovets, M. K. ; Felizhanko, O. D. ; Shtelik, Y. V. ; Shchogoleva, N. N.
• Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics
  Karvi, T. ; Tienari, M. ; Kaivola, R.
• Denotational semantics of object specification
  Sernadas, Amílcar ; Sernadas, Cristina ; Caleiro, Carlos
• χSuds-SDL: A Tool for Testing Software Architecture Specifications
  Li, J. Jenny ; Horgan, J. Robert
• AspectOCL: using aspects to ease maintenance of evolving constraint specification
  Khan, Muhammad Uzair ; Sartaj, Hassan ; Iqbal, Muhammad Zohaib ; Usman, Muhammad ; Arshad, Numra
• Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability
  Czepa, Christoph ; Amiri, Amirali ; Ntentos, Evangelos ; Zdun, Uwe
• Distributive laws for monotone specifications
  Rot, Jurriaan
• Specifications of distributed programs
  Liskov, Barbara ; Weihl, William
• Specification and analysis of a data transfer protocol using systems of communicating machines
  Lundy, G. M. ; Miller, Raymond E.
• Unifying theories of programming and formal engineering methods – advanced lectures
  Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao 2013 Springer
• Program specification and transformation – proceedings of the IFIP TC 2 WG 2 1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15 - 17 April, 1986
  Meertens, Lambert G. L. T. 1987 North-Holland
• On Compatibility/Incompatibility of Two Discrete Probability Distributions in the Presence of Incomplete Specification
  Ghosh, Indranil ; Balakrishnan, N.
• Prototyping realistic programming languages based on formal specifications
  Poetzsch-Heffter, Arnd
• Automated workarounds from Java program specifications based on SAT solving
  Uva, Marcelo ; Ponzio, Pablo ; Regis, Germán ; Aguirre, Nazareno ; Frias, Marcelo F.