„Software Development Methods“

Suchergebnisse

237 Treffer

• Building Bulletproof Software: How Formal Verification Saves the Day
  Bernard 2024 tredition
• Adoption-centric usability engineering: systematic deployment, evaluation and improvement of usability engineering methods in the software engineering lifecycle
  Metzker, Eduard 2005 Universität Ulm. Fakultät für Informatik
• Securing the System: Formal Methods for Error-Free Software
  Naviya 2024 tredition
• Human-Centered Software Engineering – 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
  Sauer, Stefan ; Bogdan, Cristian ; Forbrig, Peter ; Bernhaupt, Regina ; Winckler, Marco 2014 Springer International Publishing
• From Programs to Systems. The Systems perspective in Computing – ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
  Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer Berlin Heidelberg
• Creating Value for All Through IT – IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2014, Aalborg, Denmark, June 2-4, 2014. Proceedings
  Bergvall-Kåreborn, Birgitta ; Nielsen, Peter Axel 2014 Springer Berlin Heidelberg
• Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
  Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing
• Large-Scale Complex IT Systems. Development, Operation and Management – 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
  Calinescu, Radu C. ; Garlan, David 2012 Springer Berlin Heidelberg
• Human-Centered Software Engineering – 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings
  Winckler, Marco ; Forbrig, Peter ; Bernhaupt, Regina 2012 Springer Berlin Heidelberg
• Formal Methods for Model-Driven Engineering – 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
  Bernardo, Marco ; Cortellessa, Vittorio ; Pierantonio, Alfonso 2012 Springer Berlin Heidelberg
• Mathematical Methods in Program Development
  Broy, Manfred 1997 Springer Berlin Heidelberg
• Formal Methods for Industrial Critical Systems – 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  Salaün, Gwen ; Schätz, Bernhard 2011 Springer Berlin Heidelberg
• Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems – 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
  Calinescu, Radu C. ; Jackson, Ethan 2011 Springer Berlin Heidelberg
• Engineering Methods in the Service-Oriented Context – 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings
  Ralyté, Jolita ; Mirbel, Isabelle ; Deneckère, Rébecca 2011 Springer US
• Agent-Oriented Software Engineering X – 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
  Gleizes, Marie-Pierre ; Gomez-Sanz, Jorge J. 2011 Springer Berlin Heidelberg
• Unifying Theories of Programming – Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Advances in Information Technology – 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings
  Borworn Papasratorn ; Lavangnananda, Kittichai ; Chutimaskul, Wichian ; Vanijja, Vajirasak 2010 Springer Berlin Heidelberg
• Parallel Computational Fluid Dynamics 2008 – Parallel Numerical Methods, Software Development and Applications
  Tromeur-Dervout, Damien 2011 Springer Berlin Heidelberg
• Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
  Qin, Shengchao 2010 Springer Berlin Heidelberg
• Offshoring of software development – methods and tools for risk management ; 27th - 30th August 2007, Munich, Germany ; OUTSHORE ; proceedings
  Betz, Stefanie 2008 Univ.-Verl. Karlsruhe