Verification and Validation in Systems Engineering Assessing UML/SysML Design Models

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Debbabi, Mourad
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	HassaΓ-ne, Fawzi, Jarraya, Yosr, Soeanu, Andrei, Alawneh, Luay
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Θέματα:	Computer science Computer system performance Software engineering Information Systems Computer Science Software Engineering System Performance and Evaluation Management of Computing and Information Systems
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-15228-3

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

Web Engineering
ανά: Mendes, Emilia
Έκδοση: (2006)

Analyzing Computer System Performance with Perl::PDQ
ανά: Gunther, Neil J.
Έκδοση: (2005)

A Process Algebraic Approach to Software Architecture Design
ανά: Aldini, Alessandro
Έκδοση: (2010)

Microsoft Content Management Server Field Guide
ανά: Briand, FranΓois-Paul
Έκδοση: (2005)

Hardening Windows
ανά: Hassell, Jonathan
Έκδοση: (2006)

Running IPv6
ανά: Beijnum, Iljitsch
Έκδοση: (2006)

Pro Nagios 2.0
ανά: Turnbull, James
Έκδοση: (2006)

Windows Server 2003 Networking Recipes
ανά: Allen, Robbie
Έκδοση: (2006)

Hardening Linux
ανά: Turnbull, James
Έκδοση: (2005)

Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services
ανά: Gunther, Neil J.
Έκδοση: (2007)

Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
ανά: Dale, Chris
Έκδοση: (2010)

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

Security Management, Integrity, and Internal Control in Information Systems IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference
ανά: Dowland, Paul
Έκδοση: (2005)

Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
ανά: Pandurangan, Gopal
Έκδοση: (2010)

Testing Commercial-off-the-Shelf Components and Systems
ανά: Beydeda, Sami
Έκδοση: (2005)

Requirements Engineering
ανά: Hull, Elizabeth
Έκδοση: (2005)

Expert Oracle
ανά: Kyte, Thomas
Έκδοση: (2005)

Agile Software Development Current Research and Future Directions
ανά: DingsΓΈyr, Torgeir
Έκδοση: (2010)

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings
ανά: Sillitti, Alberto
Έκδοση: (2010)

Test-Driven Development An Empirical Evaluation of Agile Practice
ανά: Madeyski, Lech
Έκδοση: (2010)

Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings
ανά: Al-Begain, Khalid
Έκδοση: (2010)

Pervasive Computing Innovations in Intelligent Multimedia and Applications
ανά: Hassanien, Aboul-Ella
Έκδοση: (2010)

Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings
ανά: Altmann, Jorn
Έκδοση: (2010)

Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings
ανά: Γzcan, Abdulkadir
Έκδοση: (2010)

Traffic Monitoring and Analysis Second International Workshop, TMA 2010, Zurich, Switzerland, April 7, 2010.Proceedings
ανά: Ricciato, Fabio
Έκδοση: (2010)

Engineering and Managing Software Requirements
ανά: Aurum, Aybuke
Έκδοση: (2005)

Essential Software Architecture
ανά: Gorton, Ian
Έκδοση: (2006)

Software Product Line Engineering Foundations, Principles, and Techniques
ανά: Pohl, Klaus
Έκδοση: (2005)

Cloud Computing Principles, Systems and Applications
ανά: Antonopoulos, Nick
Έκδοση: (2010)

Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
ανά: Choppy, Christine
Έκδοση: (2010)

Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers
ανά: Rome, Erich
Έκδοση: (2010)

Rationale Management in Software Engineering
ανά: Dutoit, Allen H.
Έκδοση: (2006)

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
ανά: Zhang, Wu
Έκδοση: (2010)

Euro-Par 2009 β Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers
ανά: Lin, Hai-Xiang
Έκδοση: (2010)

Economic Models and Algorithms for Distributed Systems
ανά: Neumann, Dirk
Έκδοση: (2010)

HPC@Green IT Green High Performance Computing Methods
ανά: Gruber, Ralf
Έκδοση: (2010)

Algorithms for Sensor Systems 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
ανά: Scheideler, Christian
Έκδοση: (2010)

Best Practices in Software Measurement How to use metrics to improve project and process performance
ανά: Ebert, Christof
Έκδοση: (2005)

High Availability and Disaster Recovery Concepts, Design, Implementation
ανά: Schmidt, Klaus
Έκδοση: (2006)

Computer Networks 17th Conference, CN 2010, UstroΕ, Poland, June 15-19, 2010. Proceedings
ανά: KwiecieΕ, Andrzej
Έκδοση: (2010)

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