UML- B specification for proven embedded systems design /

UML- B specification for proven embedded systems design /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Bernin, Fredrik
Άλλοι συγγραφείς:	Mermet, Jean
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston : Kluwer Academic Publishers, c2004
Θέματα:	Application software B (Computer program language) Embedded computer systems UML (Computer science)

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

Advanced systems design with Java , UML and MDA /
ανά: Lano, Kevin
Έκδοση: (2005)

Doing hard time : developing real-time systems with UML, objects, frameworks, and patterns /
Έκδοση: (1999)

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

Java με UML : αντικειμενοστρεφής σχεδίαση και προγραμματισμός /
ανά: Lervik, Else
Έκδοση: (2004)

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

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

Object-Oriented systems analysis and design using UML /
ανά: Bennett, Simon
Έκδοση: (2006)

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

UML Bible /
ανά: Pender, Tom
Έκδοση: (2003)

Learning UML /
ανά: Alhir, Sinan Si
Έκδοση: (2003)

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Έκδοση: (2011)

UML 2 and the Unified process : Practical object-oriented analysis and design. /
ανά: Arlow, Jim
Έκδοση: (2005)

Embedded systems design : an introduction to processes tools and techniques /
ανά: Berger, Arnold
Έκδοση: (2002)

Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Έκδοση: (2008)

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Έκδοση: (2009)

Applying UML and patterns : An introduction to object-oriented analysis and design and iterative development. /
ανά: Larman, Craig
Έκδοση: (2005)

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

Proceedings of the 9th Workshop and 7th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms
Έκδοση: (2018)

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

Communicating systems with UML 2 : modeling and analysis of network protocols /
ανά: Garduno Barrera, David
Έκδοση: (2011)

Software engineering techniques applied to agricultural systems : An object-oriented and UML approach /
ανά: Papajorgji, Petrac j.
Έκδοση: (2006)

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 /
Έκδοση: (2007)

Proceedings of the eighth international workshop on Real-Time Ada
Έκδοση: (1997)

Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems
Έκδοση: (2009)

Proceedings of International Workshop on Manycore Embedded Systems
Έκδοση: (2014)

Proceedings of the Workshop on INTelligent Embedded Systems Architectures and Applications
Έκδοση: (2018)

Embedded Systems Design The ARTIST Roadmap for Research and Development /
ανά: Bouyssounouse, Bruno, κ.ά.
Έκδοση: (2005)

The art of designing embedded systems
ανά: Ganssle, Jack G
Έκδοση: (2000)

Embedded Systems Specification and Design Languages Selected contributions from FDL’07 /
Έκδοση: (2008)

Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems
Έκδοση: (2001)

Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems
Έκδοση: (2014)

Proceedings of the 14th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
Έκδοση: (2019)

Embedded System design /
ανά: Marwedel, Peter
Έκδοση: (2006)

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Έκδοση: (2006)

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems
Έκδοση: (2016)

Proceedings of the 27th International Symposium on Rapid System Prototyping: Shortening the Path from Specification to Prototype
Έκδοση: (2016)

Embedded systems : hardware, design, and implementation /
Έκδοση: (2012)

Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems
Έκδοση: (2018)

Specification of Software Systems
ανά: Alagar, V.S, κ.ά.
Έκδοση: (2011)

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
Έκδοση: (2006)

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