Titlebook: Object, Models, Components, Patterns; 50th International C Carlo A. Furia,Sebastian Nanz Conference proceedings 2012 Springer-Verlag Berlin

用不完

Melatonin

Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-languar semantics, software transactional memory, agents, CSP, and active objects. While the performance of our prototype confirms the need for VM support, it also shows that the chosen mechanism is appropriate to express a wide range of concurrency abstractions in a unified way.

打火石

不妥協(xié)

使人煩燥

blight

Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs,port selective testing, sampling and clustering of mutants, and combining code coverage with mutation testing. We propose an approach to quality evaluation and present experimental results of mutation operators applied to C# programs.

小隔間

burnish

0302-9743 s and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS.978-3-642-30560-3978-3-642-30561-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

photopsia

0302-9743 national Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related field

ANTIC

Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies,calculus definition for social networking in B that models social-network content, privacy policies, and social-network friendship relations. This paper presents the implementation and the functionality of our Poporo tool through a running example in the domain of social networking sites.