Formal foundations for software engineering methods /

Formal foundations for software engineering methods /

57

Bibliographic Details
Main Author:	Hussmann, Heinrich, 1959-
Format:
Published:	Berlin : Springer, 1997
Subjects:	Software engineering

Similar Items

Practical formal software engineering : wanting the software you get /
by: 402782 Mills, Bruce
Published: (2009)

Software engineering foundations : a software science perspective /
by: 249748 Wang, Yingxu
Published: (2007)

The engineering of software : technical foundations for the individual /
by: 295031 Hamlet, Dick, et al.
Published: (2001)

Modern software engineering : foundations and current perspectives /
by: Ng, Peter A., et al.
Published: (c198)

Software product line engineering : foundations, principles, and techniques /
by: Pohl, Klaus, 1960-, et al.
Published: (2005)

Software engineering : management & method /
by: Sellappan, P.
Published: (2000)

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
by: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), et al.
Published: (2007)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
by: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), et al.
Published: (2005)

Software engineering : methods and management /
by: 292253 Von Mayrhauser, Anneliese
Published: (1990)

Value-based software engineering /
by: Biffl, Stefan
Published: (2006)

Software Engineering for Variability Intensive Systems : Foundations and Applications /
by: Mistrik, Ivan, editor, et al.
Published: (2019)

Designing with blends : conceptual foundations of human-computer interaction and software engineering /
by: 271516 Imaz, Manuel, et al.
Published: (2007)

Extreme software engineering : a hands on approach /
by: Steinberg, Daniel H. (Daniel Howard), 1959-, et al.
Published: (2004)

Software engineering : methods, management, and CASE tools /
by: 359612 Sodhi, Jag
Published: (c199)

Software engineering : architecture-driven software development /
by: Schmidt, Richard F. (Richard Francis), 1956-, author
Published: (2013)

Software engineering /
by: Dorfman, Merlin, et al.
Published: (1997)

Software engineering /
by: Agarwal, Udit
Published: (2012)

Software engineering /
by: Sommerville, Ian, 1951-
Published: (1992)

SOFTWARE ENGINEERING /
by: Ali Selamat, author 644099, et al.
Published: (2021)

Software engineering /
by: Sommerville, Ian, 1951-
Published: (1996)

Software engineering /
by: 407246 Sommerville, Ian
Published: (2004)

Software engineering /
by: 405001 Sharma, Pankaj
Published: (2004)

Software Engineering /
by: Sommerville, Ian, 1951-, author 430235
Published: (2001)

Software engineering /
by: Sommerville, Ian, 1951-
Published: (2007)

Software engineering /
by: Thayer, Richard H., et al.
Published: (2005)

Software engineering /
by: Thayer, Richard H., et al.
Published: (2003)

Software engineering /
by: Saleh, K. A. (Kassem A.)
Published: (c200)

Software Engineering /
by: Sommerville, Ian, 1951- 430235
Published: (2011)

Software engineering : the production of quality software /
by: 331584 Pfleeger, Shari Lawrence
Published: (1991)

Emerging methods, technologies and process management in software engineering /
by: De Lucia, Andrea
Published: (2008)

Software engineering : an engineering approach /
by: 203856 Peters, James F., et al.
Published: (1998)

Formal engineering for industrial software development : using the sofl method /
by: 263222 Liu, Shaoying
Published: (2004)

Foundations of software measurement /
by: 329845 Shepperd, Martin
Published: (1995)

Software engineering reviews and audits /
by: 515229 Summers, Boyd L.
Published: (c201)

Software Testing & Component-Based Software Engineering /
by: Bowden, Korbin, author 645652, et al.
Published: (2012)

Software engineering : principles and practice /
by: 210470 Van Vliet, Hans
Published: (2000)

Software engineering process with the UPEDU /
by: 281450 Robillard, Pierre N., et al.
Published: (2003)

Software engineering quality practices /
by: 265265 Kandt, Ronald Kirk
Published: (2006)

Software engineering & testing : an introduction /
by: 502203 Agarwal, B. B., et al.
Published: (2010)

Collaborative software engineering /
by: Mistrik, Ivan
Published: (2010)