Rating: 5.00
|
Digital multimedia
Concurrency: State Models and Java Programs Peters. Software Engineering: An Engineering Appntach Preiss, ... Software Design with C++ Schneider, Concurrent and Real-time Systems Winder iSl Roberts, Developing Java Software 2nd Edition ...
by Nigel P. Chapman, Jenny Chapman
 view
Buy
|
|
Software composition, 5th international symposium, SC 2006, Vienna, Austria, March 25-26, 2006 : revised papers
Magee, J., and Kramer, J. Concurrency: state models & Java programs.John Wiley & Sons, Inc., 1999. 17. ... Rep. version 1.1, ad/97-08-08, IBM www.software.ibm. com/ad/ocl, Sept. 1997. 21. Pahl, C. Components, contracts, and connectors ...
by Welf Löwe
view
Buy
| Rating: 4.00
|
An Introduction to MultiAgent Systems
The eagerly anticipated updated resource on one of the most important areas of research and development: multi-agent systems Multi-agent systems allow many intelligent agents to interact with each other, and this field of study has advanced ...
by Michael J. Wooldridge
view
Buy
|
|
Formal methods for software architectures, Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
In Proceedings of SIGSOFT'94: The Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, ... Concurrency: State Models and Java Programs. Wiley, 1999. [22] Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, ...
by Marco Bernardo, Paola Inverardi
view
Buy
|
|
The world of scripting languages
Books in Series Ammeraal, Computer Graphics for Java Programmers Ammeraal, C++ for Programmers 3rd Edition Ben-Ari, ... Concurrency: State Models and Java Programs Peters, Software Engineering: An Engineering Approach Preiss, ...
by David Barron, David William Barron
view
Buy
|
|
CONCUR 2001, concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings
Scott Stoller [20] has developed a stateless checker for multi-threaded distributed Java programs. ... a tool that translates Java into SAL – an intermediate language designed to interface with several model-checking and theorem-proving ...
by Kim G. Larsen, Mogens Nielsen
view
Buy
| Rating: 5.00
|
Modern compiler design
Books in Series Ammeraal, Computer Graphics for Java Programmers Ammeraal, C++ for Programmers 3rd Edition Barron, ... Concurrency: State Models and Java Programs Peters, Software Engineering: An Engineering Approach Preiss, ...
by Dick Grune, Ceriel J. H. Jacobs, Koen G. Langendoen
view
Buy
|
|
Verified Software, theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions
We first verify automatically generated infinite state models of concurrency controllers using the symbolic and infinite ... We reengineered the distributed client-server version of TSAFE which consists of 21000 lines of Java code.
by Bertrand Meyer, Jim Woodcock
view
Buy
|
|
Tools and algorithms for the construction and analysis of systems, 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
TA Henzinger, P.-H. Ho, and H. Wong-Toi. HvTECH: a Model Checker for Hybrid Systems. In Proc. CAV'97, LNCS 1254, pages 460-463, 1997. 12. D. Lea. Concurrent Programming in Java. Design Principle and Patterns. Second Edition ...
by Joost-Pieter Katoen, Perdita Stevens
view
Buy
|
|
ACM SIGPLAN Erlang Workshop '02, a satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA.
Most time is spent on the generation of the full state space. The compilation from Erlang to /iCRL takes only a few ... Concurrent Programming in Erlang, 2nd edition. Prentice Hall International, 1996. [2] T. Arts and C. Benac Earle.
by Association for Computing Machinery
view
Buy
| |
|