SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems Barnett, Mike Edwards, Stephen Giannakopoulou, Dimitra Leavens, Gary Sharygina, Natasha
dc.contributor.department Computer Science 2018-02-14T00:23:21.000 2020-06-30T01:56:30Z 2020-06-30T01:56:30Z 2005-01-01
dc.description.abstract <p>This workshop is concerned with how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for the specification and verification of component-based systems. Component-based systems are a growing concern for the software engineering community. Specification and reasoning techniques are urgently needed to permit composition of systems from components. Component-based specification and verification is also vital for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop will consider formalization of both functional and non-functional behavior, such as performance or reliability. This workshop brings together researchers and practitioners in the areas of component-based software and formal methods to address the open problems in modular specification and verification of systems composed from components. We are interested in bridging the gap between principles and practice. The intent of bringing participants together at the workshop is to help form a community-oriented understanding of the relevant research problems and help steer formal methods research in a direction that will address the problems of component-based systems. For example, researchers in formal methods have only recently begun to study principles of object-oriented software specification and verification, but do not yet have a good handle on how inheritance can be exploited in specification and verification. Other issues are also important in the practice of component-based systems, such as concurrency, mechanization and scalability, performance (time and space), reusability, and understandability. The aim is to brainstorm about these and related topics to understand both the problems involved and how formal techniques may be useful in solving them.</p>
dc.description.comments <p>Workshop proceedings</p>
dc.identifier archive/
dc.identifier.articleid 1275
dc.identifier.contextkey 5493535
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/298
dc.source.bitstream archive/|||Fri Jan 14 23:15:44 UTC 2022
dc.subject.disciplines Programming Languages and Compilers
dc.subject.disciplines Software Engineering
dc.subject.disciplines Theory and Algorithms
dc.subject.keywords Specification
dc.subject.keywords Verification
dc.subject.keywords Component-Based Systems
dc.subject.keywords static analysis
dc.subject.keywords advanced type systems
dc.subject.keywords model checking
dc.subject.keywords composition
dc.subject.keywords run-time assertion checking
dc.subject.keywords JML language
dc.subject.keywords performance specification
dc.subject.keywords concurrency
dc.title SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
Original bundle
Now showing 1 - 1 of 1
3.98 MB
Adobe Portable Document Format