„Software Development Methods“

Suchergebnisse

237 Treffer

• Parallel computational fluid dynamics 2008 – parallel numerical methods, software development and applications
  Tromeur-Dervout, Damien 2010 Springer
• SQA Defect Prediction: An SVM Based In-Appendage Software Log Analysis
  Rajasekhar Reddy, Nandireddy 2015 LAP LAMBERT Academic Publishing
• Formal methods for the description of the software development process
  Deiters, Wolfgang ; Schäfer, Wilhelm ; Vagts, Jürgen 1988 Lehrstuhl Software-Technologie, Fachbereich Informatik, Univ.
• Enabling Formal Model-Driven Development with QVT – Concepts, Methods and Tools
  Li, Dan 2015 LAP LAMBERT Academic Publishing
• Formal methods and software development
  Ehrig, Hartmut 1985 Springer
• Axiomatic semantics – Vortrag für d. Arbeitstreffen (Workshop) Formal Software Development Methods - Combining Specification Methods vom 20. - 26. Mai 1984 in Nyborg, Dänemark
  Langmaack, Hans 1984 Inst. für Informatik u. Prakt. Mathematik
• Formal Techniques for Safety-Critical Systems – Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
  Artho, Cyrille ; Ölveczky, Peter Csaba 2015 Springer International Publishing
• Distributed software development – methods and tools for risk management ; OUTSHORE ; proceedings
  Mäkiö, Juho ; Betz, Stefanie ; Prikladnicki, Rafael 2008 [J. Mäkiö]
• Offshoring of software development – methods and tools for risk management ; [OUTSHORE ; proceedings]
  Mäkiö, Juho 2008 Univ.-Verl. Karlsruhe
• Lean Software Development in Action
  Janes, Andrea ; Succi, Giancarlo 2014 Springer Berlin Heidelberg
• Lean software development in action
  Janes, Andrea ; Succi, Giancarlo 2014 Springer
• On quality improvement of scientific software – theory, methods, and application in the GeoStoch development
  Mayer, Johannes 2005 Tenea
• Situational Method Engineering
  2014 Springer Berlin Heidelberg
• Making Decisions in a Sustainable Development Context: A State-of-the-Art Survey and Proposal of a Multi-period Single Synthesizing Criterion Approach
  Frini, Anissa ; Benamor, Sarah
• Nuclear Analytical Techniques and Modern Sciences – Cairo, Egypt
  Ashry, Hoda ; Soliman, Fouad 2016 LAP LAMBERT Academic Publishing
• Inner Source Definition, Benefits, and Challenges
  Capraro, Maximilian ; Riehle, Dirk 2016 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Robot Navigation using Artificial Intelligence Methods
  Nanda, Santosh ; Nayak, Simanta ; Mishra, Smruti Mayee 2016 LAP LAMBERT Academic Publishing