„Software Development Methods“

Suchergebnisse

237 Treffer

• Human-centered software engineering – 5th IFIP WG 13.2 international conference ; proceedings
  Sauer, Stefan ; Bogdan, Cristian ; Forbrig, Peter ; Bernhaupt, Regina ; Winckler, Marco 2014 Springer
• From programs to systems – the systems perspective in computing ; proceedings
  Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer
• FM 2014: Formal Methods – 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
  2014 Springer International Publishing
• Requirements Engineering: Foundation for Software Quality – 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings
  2014 Springer International Publishing
• Physical Layer Multi-Core Prototyping – A Dataflow-Based Approach for LTE eNodeB
  2013 Springer Berlin Heidelberg
• Adoption-centric usability engineering – systematic deployment, evaluation and improvement of usability engineering methods in the software engineering lifecycle
  Metzker, Eduard
• Formal Development of a Network-Centric RTOS – Software Engineering for Reliable Embedded Systems
  Verhulst, Eric ; Mezhuyev, Vitaliy ; Boute, Raymond T. ; Sputh, Bernhard H.C. ; Faria, José Miguel Sampaio 2011 Springer US
• Unifying theories of programming – third international symposium ; proceedings
  Qin, Shengchao 2010 Springer
• Industrial Engineering and Ergonomics – Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczak
  Schlick, Christopher 2009 Springer Berlin
• Construction and deduction methods for the formal development of software
  Henke, Friedrich W. ˜vonœ ; Dold, Axel ; Rueß, Harald ; Schwier, D. ; Strecker, Martin 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Software Engineering – International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
  De Lucia, Andrea ; Ferrucci, Filomena 2013 Springer Berlin Heidelberg
• Software engineering – international summer schools ; revised tutorial lectures
  De Lucia, Andrea ; Ferrucci, Filomena 2013 Springer
• An Outlook on the Biomass Energy Development Out to 2100 in China
  Li, Zhihui ; Deng, Xiangzheng ; Chu, Xi ; Jin, Gui ; Qi, Wei
• Metrics for Test Reporting – Analysis and Reporting for Effective Test Management
  Witte, Frank 2024 Springer Fachmedien Wiesbaden, Imprint: Springer
• Metrics for test reporting – analysis and reporting for effective test management
  Witte, Frank 2024 Springer
• Educational Measurement for Applied Researchers – Theory into Practice
  Wu, Margaret ; Tam, Hak Ping 2016 Springer Singapore
• Artificial intelligence in higher education: exploring faculty use, self-efficacy, distinct profiles, and professional development needs
  Mah, Dana-Kristin ; Groß, Nele
• Development of advanced methods and related software for human reliability evaluation within probabilistic safety analyses
  Kosmowski, Kazimierz T. 1994 Forschungszentrum, Zentralbibliothek
• Construction and deduction methods for the formal development of software
  Henke, Friedrich W. ˜vonœ 1994 Univ., Fak. für Informatik
• A mixed-methods study on the changes in teachers’ perceptions of and strategies for student-centred teaching in programming following teacher development courses
  Kong, Siu-Cheung ; Lin, Ting-jun