|
|
Summary of a workshop on software-intensive systems and uncertainty at scale [electronic resource] / Joan D. Winston and Lynette I. Millett, editors; Committee on Advancing Software-Intensive Systems Producibilty, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences.
by National Research Council (U.S.). Committee on Advancing Software-Intensive Systems Producibility | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Washington : National Academies Press, 2007Other title: Summary of a workshop for software-intensive systems and uncertainty at scale.Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
New trends in software methodologies, tools and techniques [electronic resource] / edited by Hamido Fujita and Domenico Pisanelli.
by International Conference on New Trends in Software Methodologies, Tools and Techniques (6th : 2007 : Rome, Italy) | Fujita, Hamido | Pisanelli, Domenico M | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Oxford : IOS Press, c2007Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Software systems safety / edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck.
by Grumberg, Orna [editor.] | Seidl, Helmut [editor.] | Irlbeck, Maximilian [editor.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Amsterdam, Netherlands : IOS Press, 2014Copyright date: �2014Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Professional issues in software engineering [electronic resource] / Frank Bott ... [et al.].
by Bott, Frank | ebrary, Inc. Edition: 3rd ed.Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Taylor & Francis, 2001Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
New trends in software methodologies, tools and techniques [electronic resource] : proceedings of the tenth SoMeT_11 / edited by Hamido Fujita and Tatiana Gavrilova.
by Fujita, Hamido | Gavrilova, Tatiana | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam, The Netherlands : IOS Press, 2011Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
by Broy, Manfred | Leuxner, Christian | Hoare, A. G | ebrary, Inc | NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany). Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam, The Netherlands : IOS Press, 2011Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].
by Huang, Hejiao | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Design problems, frames and innovative solutions [electronic resource] / Martin D�zbor.
by D�zbor, Martin | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Washington, DC : Ios Press, 2009Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Knowledge-based software engineering [electronic resource] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / edited by Maria Virvou and Saeko Matsuura.
by Joint Conference on Knowledge-Based Software Engineering (10th) | Virvou, Maria | Matsuura, Saeko | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Washington, D.C. : Ios Press, c2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].
by Huang, Hejiao | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].
by Huang, Hejiao | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Design problems, frames and innovative solutions [electronic resource] / Martin D�zbor.
by D�zbor, Martin | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Washington, DC : Ios Press, 2009Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Knowledge-based software engineering [electronic resource] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / edited by Maria Virvou and Saeko Matsuura.
by Joint Conference on Knowledge-Based Software Engineering (10th) | Virvou, Maria | Matsuura, Saeko | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Washington, D.C. : Ios Press, c2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.].
by Huang, Hejiao | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific Pub. Co., 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Design problems, frames and innovative solutions [electronic resource] / Martin D�zbor.
by D�zbor, Martin | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Washington, DC : Ios Press, 2009Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Design problems, frames and innovative solutions [electronic resource] / Martin D�zbor.
by D�zbor, Martin | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Washington, DC : Ios Press, 2009Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Knowledge-based software engineering [electronic resource] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / edited by Maria Virvou and Saeko Matsuura.
by Joint Conference on Knowledge-Based Software Engineering (10th) | Virvou, Maria | Matsuura, Saeko | ebrary, Inc. Material type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Amsterdam ; Washington, D.C. : Ios Press, c2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
|
|
|
Requirements engineering for software and systems / Phillip A. Laplante.
by Laplante, Phillip A. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton : CRC/Taylor & Francis, [2014]Availability: Items available for loan: IUKL Library [Call number: QA76.758 Lap] (1). Items available for reference: IUKL Library [Call number: QA76.758 Lap] (1).
|
|
|
Essentials of Software Engineering / FrankTsui
by Tsui, Frank | Bernal, Barbara | Karam, Orlando. Edition: third edition Publisher: Burlington: MA Jones & Bartlett Learning , 2014Availability: Items available for loan: IUKL Library [Call number: QA76.758 Tsu] (1). Items available for reference: IUKL Library [Call number: QA76.758 Tsu] (1).
|
|
|
Guide to Software Development : Designing and Managing the Life Cycle / Arthur M. Langer.
by Langer, Arthur M. Publisher: London ; New York : Springer, c2012Availability: Items available for loan: IUKL Library [Call number: QA76.76 Lan] (1). Items available for reference: IUKL Library [Call number: QA76.76 Lan] (1).
|