Verification and validation for quality of UML 2.0 models /

Verification and validation for quality of UML 2.0 models /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Unhelkar, Bhuvan
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Hoboken , NJ : John Wiley, c 2005
Θέματα:	Computer software COMPUTER SOFTWARE > VERIFICATION

Παρόμοια τεκμήρια

Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
Έκδοση: (1991)

UML 2 Toolkit /
ανά: Eriksson, Hans-Erik
Έκδοση: (2004)

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
ανά: Debbabi, Mourad
Έκδοση: (2010)

Verification methodology manual for system verilog /
ανά: Bergeron, Janick
Έκδοση: (2006)

Using UML : software engineering with objects and components /
ανά: Stevens, Perdita
Έκδοση: (2000)

Schaum's outline of UML /
ανά: Bennett, Simon
Έκδοση: (2001)

UML 2.0 in a nutshell /
ανά: Pilone, Dan
Έκδοση: (2005)

Delphi 2.0 με παραδείγματα /
ανά: Warner, Scott L.
Έκδοση: (1997)

Temporal verification of reactive systems Safety
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1995)

The unified modeling language user guide /
ανά: Booch, Grady
Έκδοση: (1999)

Validated Designs for Object-oriented Systems
ανά: Fitzgerald, John
Έκδοση: (2005)

Secure Systems Development with UML
ανά: JΓΌrjens, Jan
Έκδοση: (2005)

Higher order logic and harware verification
ανά: Melham, T.
Έκδοση: (1993)

Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem
ανά: Godefroid, Patrice
Έκδοση: (1996)

The OpenGL ES 2.0 programming guide /
ανά: Munshi, Aaftab
Έκδοση: (2009)

Component-Based Software Testing with UML
ανά: Gross, Hans-Gerhard
Έκδοση: (2005)

A Programmerβs Introduction to C# 2.0
ανά: Gunnerson, Eric
Έκδοση: (2005)

Software Engineering Techniques: Design for Quality
ανά: Sacha, Krzysztof
Έκδοση: (2006)

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
ανά: Barthe, Gilles
Έκδοση: (2010)

UML- B specification for proven embedded systems design /
ανά: Bernin, Fredrik
Έκδοση: (2004)

Peter Norton's introduction to computers /
ανά: Norton, Peter, 1943-
Έκδοση: (2006)

Peter Norton's computing fundamentals /
ανά: Norton, Peter, 1943-
Έκδοση: (2003)

Computer and information systems /
ανά: Szymanski, Robert A.
Έκδοση: (1995)

Pro Service-Oriented Smart Clients with .NET 2.0
ανά: Hashimi, Sayed Y.
Έκδοση: (2005)

The security development lifecycle : SDL, a process for developing demonstrably more secure software /
ανά: Howard, Michael, 1965-
Έκδοση: (2006)

Software quality assurance A student introduction
ανά: Ince, D. (Darrel)
Έκδοση: (1995)

Model-Driven Software Development
ανά: Beydeda, Sami
Έκδοση: (2005)

Software engineering metrics and models
ανά: Conte, Samuel Daniel, 1917-, κ.ά.
Έκδοση: (1986)

UML for SOC Design
ανά: Martin, Grant (Grant Edmund)
Έκδοση: (2005)

Engineering quality softtware : a review of current practices, standards and guidelines including new methods and development tools /
ανά: Smith, David J.
Έκδοση: (1989)

Producing open source software : How to run a successful free software project. /
ανά: Fogel, Karl
Έκδοση: (2006)

Software Testing and Evaluation
ανά: DeMillo, Richard A., κ.ά.
Έκδοση: (1987)

Mathematical Approaches to Software Quality
ανά: OβRegan, Gerard
Έκδοση: (2006)

Large -scale software architecture : A practical guide using UML /
ανά: Garland, Jeff
Έκδοση: (2003)

Computer Architecture : Software aspects, coding , and hardware /
ανά: Hsu, John Y.
Έκδοση: (2001)

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
ανά: Margaria, Tiziana
Έκδοση: (2010)

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
ανά: Margaria, Tiziana
Έκδοση: (2010)

Code complete A practical handbook of software construction
ανά: McConnell, Steve
Έκδοση: (1993)

Software engineering
ανά: Sommerville, Ian 1951-
Έκδοση: (1985)

Software engineering
ανά: Sommerville, Ian 1951-
Έκδοση: (1989)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_pccve6kkbr7pokomvod5t2gvp0