„program specification“

Suchergebnisse

422 Treffer

• Live sequence charts applied to hardware requirements specification and verification – A VCI bus interface model
  Bunker, Annette ; Gopalakrishnan, Ganesh ; Slind, Konrad
• System-level functional testing from UML specifications in end-of-production industrial environments
  Baldini, Andrea ; Benso, Alfredo ; Prinetto, Paolo
• Hardware and software – verification and testing ; revised selected papers
  Barner, Sharon ; Harris, Ian ; Kroening, Daniel ; Raz, Orna 2011 Springer
• Software language engineering – third international conference ; revised selected papers
  Malloy, Brian ; Staab, Steffen ; Brand, Mark van den 2011 Springer
• Model-based requirements specification of real-time systems with UML, SysML and MARTE
  Ribeiro, Fabíola Gonçalves C. ; Pereira, Carlos E. ; Rettberg, Achim ; Soares, Michel S.
• Prior specification of neighbourhood and interaction structure in binary Markov random fields
  Arnesen, Petter ; Tjelmeland, Håkon
• Verification and specification of concurrent programs
  Hooman, Jozef J. M. ; Roever, Willem-Paul ˜deœ 1991 Inst. für Informatik und Praktische Mathematik
• Formal verification of object-oriented software – international conference ; revised selected papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer
• An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures
  Abdulla, Parosh Aziz ; Haziza, Frédéric ; Holík, Lukáš ; Jonsson, Bengt ; Rezine, Ahmed
• Logic programming with type specifications
  Hanus, Michael 1989 Dekanat Informatik, Univ.
• Formal methods and software engineering – proceedings
  Dong, Jin Song ; Zhu, Huibiao 2010 Springer
• Scalable offline monitoring of temporal specifications
  Basin, David ; Caronni, Germano ; Ereth, Sarah ; Harvan, Matúš ; Klaedtke, Felix ; Mantel, Heiko
• Runtime verification – first international conference ; proceedings
  Barringer, Howard ; Roşu, Grigore ; Sokolsky, Oleg 2010 Springer
• Integration of Software Specification Techniques for Applications in Engineering – Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
  Ehrig, Hartmut 2004 Springer Berlin Heidelberg
• Relational specification of data types and programs
  Berghammer, Rudolf 1991 Univ. der Bundeswehr München, Fak. für Informatik
• Specification and Verification of Declarative Open Interaction Models – A Logic-Based Approach
  Montali, Marco 2010 Springer Berlin Heidelberg
• On the relationship between algebraic module specifications and program modules
  Löwe, Michael 1990 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Specification and verification of declarative open interaction models – a logic-based approach
  Montali, Marco 2010 Springer
• Specification and transformation of programs – a formal approach to software development
  Partsch, Helmuth 1990 Springer
• Problems in the assessment of specifications for interactive programs and approaches for their solution in the DIADES system
  Hoffmann, Hans-Jürgen 1988 PU 1, Techn. Hochsch.