Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Autorenporträt
Nicolas Guelfi, University of Luxembourg, Luxembourg
Inhaltsangabe
Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report.- Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report.- Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language.- Towards a Methodology for Component-Driven Design.- Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification.- A Symbolic Model Checker for tccp Programs.- A Methodology and a Framework for Model-Based Testing.- An Exception Monitoring System for Java.- Distributed Exception Handling: Ideas, Lessons and Issues with Recent Exception Handling Systems.- A Model Based Approach to Design Applications for Network Processor.- A MOF-Based Metamodel for SA/RT.- Modelling SystemC Process Behavior by the UML Method State Machines.- My Favorite Editor Anywhere.- Invited Paper.- Combining System Development and System Test in a Model-Centric Approach.
Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report.- Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report.- Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language.- Towards a Methodology for Component-Driven Design.- Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification.- A Symbolic Model Checker for tccp Programs.- A Methodology and a Framework for Model-Based Testing.- An Exception Monitoring System for Java.- Distributed Exception Handling: Ideas, Lessons and Issues with Recent Exception Handling Systems.- A Model Based Approach to Design Applications for Network Processor.- A MOF-Based Metamodel for SA/RT.- Modelling SystemC Process Behavior by the UML Method State Machines.- My Favorite Editor Anywhere.- Invited Paper.- Combining System Development and System Test in a Model-Centric Approach.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
