Formal methods in systems engineering /

A professional's guide to systems analysis /
by: Modell, Martin E.
Published: (1988)

Research issues in systems analysis and design, databases and software development /
Published: (2007)

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /
Published: (2005)

Domain oriented systems development : principles and approaches /
Published: (1998)

Software engineering for information systems /
by: McDermid, Donald C.
Published: (1990)

Usability in government systems : user experience design for citizens and public servants /
by: Buie, Elizabeth
Published: (2012)

Design methods for reactive systems : Yourdon, Statemate, and the UML /
by: Wieringa, Roel
Published: (2003)

Systems Engineering Demystified, Second Edition : Apply modern, model-based systems engineering techniques to build complex systems /
by: Holt, Jon
Published: (2023)

DSDM, dynamic systems development method : the method in practice /
by: Stapleton, Jennifer
Published: (1997)

Design methods for reactive systems : Yourdan, Statemate, and the UML /
by: Wieringa, Roel
Published: (2003)

Design methods for reactive systems : Yourdan, Statemate, and the UML /
by: Wieringa, Roel
Published: (2003)

Requirements engineering for software and systems /
by: Laplante, Phillip A.
Published: (2009)

Relating system quality and software architecture /
Published: (2014)

Design methods for reactive systems : Yourdan, Statemate, and the UML /
by: Wieringa, Roel
Published: (2003)

Requirements engineering : social and technical issues /
Published: (1994)

Formal Methods in Databases and Software Engineering : Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 /
by: Alagar, Vangalur S., 1940-
Published: (1993)

The MUSE method for usability engineering /
by: Lim, Kee Yong
Published: (1994)

Software & systems requirements engineering : in practice /
Published: (2012)

Software & systems requirements engineering : in practice /
Published: (2009)

Rapid contextual design : a how-to guide to key techniques for user-centered design /
by: Holtzblatt, Karen
Published: (2005)

Software development techniques for constructive information systems design /
Published: (2013)

Industrial applications of formal methods to model, design, and analyze computer systems : an international survey /
by: Craigen, Dan, 1953-
Published: (1995)

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
Published: (2007)

Systems analysis and design methods /
by: Whitten, Jeffrey L.
Published: (2007)

Systems analysis and design methods /
by: Whitten, Jeffrey L.
Published: (1998)

Systems analysis and design methods /
by: Whitten, Jeffrey L.
Published: (2004)

Formal methods in system design.

Integrating CASE tools with a systems design methodology /
by: Ayer, Steve J., 1956-
Published: (1990)

Contextual design : design for life /
by: Holtzblatt, Karen, et al.
Published: (2017)

Software engineering : the decade of change /
Published: (1986)

Fast and effective embedded systems design : applying the ARM mbed /
by: Toulson, Rob
Published: (2012)

Usability engineering : process, products, and examples /
by: Leventhal, Laura M.
Published: (2008)

Structured analysis methods for computer information systems /
by: Teague, Lavette C., 1934-
Published: (1985)

Requirements engineering : a good practice guide /
by: Sommerville, Ian
Published: (1997)

Systems management for information technology and software engineering /
by: Sage, Andrew P.
Published: (1995)

Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures /
Published: (2005)