Abstract | ||
---|---|---|
Frameworks are important in software development. There are problematic aspects of framework development. When frameworks are extended with functionality implemented by other frameworks, developers face a difficult task solving static and (specially) dynamic mismatches. The dynamic aspect is less visible to developers thus it is usually the cause of failure, specially in frameworks using multi threading programming.This paper shows how to verify the soundness of framework compositions at dynamic level using using temporal logic and tools provided by Full Maude. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1145/1094855.1094894 | OOPSLA Companion |
Keywords | Field | DocType |
framework composition,framework development,dynamic level,dynamic aspect,problematic aspect,software development,multi threading programming,difficult task,dynamic mismatches,full maude,object oriented,rewriting logic,frameworks,model checking,temporal logic | Multithreading,Programming language,Model checking,Object-oriented programming,Computer science,Theoretical computer science,Rewriting,Soundness,Temporal logic,Software development | Conference |
ISBN | Citations | PageRank |
1-59593-193-7 | 0 | 0.34 |
References | Authors | |
4 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Federico Balaguer | 1 | 169 | 16.32 |