„program specification“

Suchergebnisse

422 Treffer

• Specification and implementation problems of programming languages proper for hierarchical data types
  Kreczmar, Antoni 1984 Inst. für Informatik u. Prakt. Mathematik
• Specification-oriented programming in TCSP
  Olderog, Ernst-Rüdiger 1984 Inst. für Informatik u. Prakt. Mathematik
• Incremental programming in the large – syntax aided specification editing, integration, and maintenance
  Gall, Rupert ; Lewerentz, Claus ; Nagl, Manfred 1984 Fachbereich Mathematik, Univ.
• Reusable mathematical models – making software specifications complete through models
  Widmer, Tobias 2008 VDM Verlag Dr. Müller
• Concurrency, specification and programming – CS&P'2014, Chemnitz September 29-October 1, 2014
  Popova-Zeugmann, Louchka ; Werner, Matthias ; Schlingloff, Holger 2014 Professoren des Institutes für Informatik
• Programming Languages – 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
  Quintão Pereira, Fernando Magno 2014 Springer International Publishing
• Functional web site specification
  Gipp, Torsten 2006 Logos-Verl.
• Mathematical foundations of computer science 2014
  2014 Springer
• Mathematical foundations of computer science 2014
  2014 Springer
• Automatic generation of program specifications from C++ source code – VFiasco Project
  Daum, Matthias 2004 TU, Fak. Informatik
• A specification-based QoS-aware design framework for service-based applications
  Baryannis, George ; Kritikos, Kyriakos ; Plexousakis, Dimitris
• Requirements specification via activity diagrams for agent-based systems
  Abushark, Yoosef ; Miller, Tim ; Thangarajah, John ; Winikoff, Michael ; Harland, James
• Stability prediction of the software requirements specification
  Sagrado, José del ; Águila, Isabel M. del
• Reusable specification templates for defining dynamic semantics of DSLs
  Tikhonova, Ulyana
• Automatic specification of piecewise linear additive models: application to forecasting natural gas demand
  Gascón, Alberto ; Sánchez-Úbeda, Eugenio F.
• Acoustic aspects of dry-type air-core reactors—specification, design, testing, field measurements
  Dopplmair, Peter ; Griebler, Peter ; Reisinger, Helmut ; Salubro, Sigfrido
• On the expressiveness of the approach to constructing PLC-programs by LTL-specification
  Kuzmin, E. V. ; Ryabukhin, D. A. ; Sokolov, V. A.
• Testing real-time systems from compositional symbolic specifications
  Damasceno, Adriana C. ; Machado, Patricia D. L. ; Andrade, Wilkerson L.
• A Development Technique and Means for Formalizing Functional Specifications of Software and Hardware Systems*
  Godlevsky, A. B. ; Mishchenko, N. M. ; Morokhovets, M. K. ; Felizhanko, O. D. ; Shchogoleva, N. N.
• A systematic literature review on quality criteria for agile requirements specifications
  Heck, Petra ; Zaidman, Andy