Formal Object Interaction Language: Modeling and Verification of Sequential and Concurrent Object-Oriented Software
As software systems become larger and more complex, developers require the ability to model abstract concepts while ensuring consistency across the entire project. The internet has changed the nature of software by increasing the desire for software deployment across multiple distributed platforms....
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Digital Archive @ GSU
2007
|
| Subjects: | |
| Online Access: | http://digitalarchive.gsu.edu/cs_diss/16 http://digitalarchive.gsu.edu/cgi/viewcontent.cgi?article=1015&context=cs_diss |