„program specification“

Suchergebnisse

422 Treffer

• Toward autonomically composable and context-dependent access control specification through ensembles
  Al Ali, Rima ; Bures, Tomas ; Hnetynka, Petr ; Matejek, Jan ; Plasil, Frantisek ; Vinarek, Jiri
• Practical synthesis of reactive systems from LTL specifications via parity games – You can teach an old dog new tricks: making a classic approach structured, forward-explorative, and incremental
  Luttenberger, Michael ; Meyer, Philipp J. ; Sickert, Salomon
• Reactive synthesis with maximum realizability of linear temporal logic specifications
  Dimitrova, Rayna ; Ghasemi, Mahsa ; Topcu, Ufuk
• Intermediate Representation of Programs with Type Specification Based on Pattern Matching
  Vasenin, V. A. ; Krivchikov, M. A.
• Testing the Conformance of Implementations of the EAP Protocol and Its Methods to Internet Specifications
  Nikeshin, A. V. ; Shnitman, V. Z.
• Strategic logics for collaborative embedded systems – Specification and verification of collaborative embedded systems using strategic logics
  Kurpiewski, Damian ; Marmsoler, Diego
• How effective are existing Java API specifications for finding bugs during runtime verification?
  Legunsen, Owolabi ; Al Awar, Nader ; Xu, Xinyue ; Hassan, Wajih Ul ; Roşu, Grigore ; Marinov, Darko
• Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B
  Dghaym, Dana ; Dalvandi, Mohammadsadegh ; Poppleton, Michael ; Snook, Colin
• Detecting Fictitious States in a Σ-Automaton Synthesized from Its Specification in the Language LP
  Chebotarev, A. N.
• Specification-driven predictive business process monitoring
  Santoso, Ario ; Felderer, Michael
• FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
  Durán, Amador ; Benavides, David ; Segura, Sergio ; Trinidad, Pablo ; Ruiz-Cortés, Antonio
• A Term-Rewriting Perspective of Object Oriented Program Specifications
  Loría-Sáenz, Carlos 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Some Subsets of Monadic First-Order Logic (MFO) Used for the Specification and Synthesis of Σ-Automata
  Chebotarev, A. N.
• Formal specification and implementation of an automated pattern-based parallel-code generation framework
  Pérez, Gervasio ; Yovine, Sergio
• Refinement-based Validation of Event-B Specifications
  Mashkoor, Atif ; Yang, Faqing ; Jacquot, Jean-Pierre
• EB3: an entity-based black-box specification method for information systems
  Frappier, M. ; St-Denis, R.
• Towards high-level fuzzy control specifications for building automation systems
  Vidal, Juan C. ; Carreira, Paulo ; Amaral, Vasco ; Aguiam, Joao ; Sousa, João
• Modelling, specification, and programming for collective adaptive systems
  Seebach, Hella ; Belzner, Lenz ; Gribaudo, Marco ; Klarl, Anabelle ; Loreti, Michele ; Montanari, Ugo ; Nenzi, Laura ; De Nicola, Rocco ; Scholliers, Christophe ; Tuma, Petr ; Wirsing, Martin 2015 Universität Augsburg
• Inductive specification recovery: Understanding software by learning from example behaviors
  Cohen, William W.
• Semantics, calculi, and analysis for object-oriented specifications
  Brucker, Achim D. ; Wolff, Burkhart