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

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

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	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)

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

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

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

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)

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

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

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

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

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

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

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

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)

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)

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

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)

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)

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

Agility Across Time and Space Implementing Agile Methods in Global Software Projects
ανά: Ε mite, Darja
Έκδοση: (2010)

Collaborative Software Engineering
ανά: MistrΓk, Ivan
Έκδοση: (2010)

Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers
ανά: Zheng, Jun
Έκδοση: (2010)

Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings
ανά: Abrahamsson, Pekka
Έκδοση: (2010)

Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
ανά: Nordio, Martin
Έκδοση: (2010)

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

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

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

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

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

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

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

Event-Triggered and Time-Triggered Control Paradigms
ανά: Obermaisser, Roman
Έκδοση: (2005)

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

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

Software Business First International Conference, ICSOB 2010, JyvΓ€skylΓ€, Finland, June 21-23, 2010. Proceedings
ανά: TyrvΓinen, Pasi
Έκδοση: (2010)

Software Process Modeling
ανά: Acuna, Silvia T.
Έκδοση: (2005)

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