Reference Citations - HerongYang.com - v2.94, by Herong Yang
A UML/SPT Model Analysis Methodology
'Java Tutorials - Herong's Tutorial Notes' tutorial was cited in a technical report at Carleton University in 2008.
The Java Tutorials - Herong's Tutorial Notes tutorial was cited in a technical report at Carleton University in 2008.
Subject: A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms Date: May, 2008 Author: Marwa Shousha1, Lionel Briand, and Yvan Labiche Source: http://www.springerlink.com/content/x7qu340587g17337/ Abstract - Concurrency problems, such as deadlocks, should be identified early in the design process. This is made increasingly difficult as larger and more complex concurrent systems are being developed. We propose here an approach, based on the analysis of specific models expressed in the Unified Modeling Language (UML) that uses a specifically designed genetic algorithm to detect deadlocks. ... 9 References 1. Holzmann, Gerard J.: The Model Checker SPIN. IEEE Trans. Soft. Eng. Vol. 23, No. 5. (1997). 2. Bacon, J.: Concurrent Systems - Operating Systems, Database and Distributed Systems: An Integrated Approach. Addison-Wesley, 2nd Ed., Harlow (1997). 3. Petriu, D. C.: Performance Analysis with the SPT Profile. Model- Driven Eng. Dist. Embed. Sys., 205-224. (2005). 4. Behrmann, Gerd, David, Alexandre and Larsen, Kim G.: A Tutorial on Uppaal. (2004), http://www.it.uu.se/research/group/darts/papers /texts/new-tutorial.pdf 5. Yang, Herong: Deadlock. Java Tutorials - Herong's Tutorial Notes, version 4.10. (2006), https://www.herongyang.com/java/index.html
Table of Contents
Service Oriented Computing for Dynamic Virtual Learning Environments
Migrating files to new computer
mswsock.dll!WSPStartup +0x102b
edu.uiuc.ncsa.soap.SOAPUtil.java
Put icons on bookmarks sidebar folders
Blob Storage via REST from Java?
java.lang.OutOfMemoryError: unable to create new native thread
SSLHandshakeException unable to find valid certification...
Using response.setContentType to switch HTML to Word
Automatic Creation of Different Types of Test Subjects
ISM 6121 Information Systems Implementation
Time out bei Aufruf von WebService (php-Script)
Store and retrieve Chinese characters using Coldfusion MX7 and MySQL5.0
converting VCD player to DVD player
Using ASP.Net c# To add/edit/delete data (ms access)
►A UML/SPT Model Analysis Methodology
Creation d'un nouvel utilisateur sous SQL Server 2000
No Suitable Driver connecting jdk1.5 with javaDB derby
Acessar MSAccess com Hibernate
SiLu – Riktlinjer för spelmotor
JDBC help needed; java.lang.NoClassDefFoundError
CSV export of tickets has wrong encoding