Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595933719

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Component-interaction automata as a verification-oriented component-based system specification

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 ◽

10.1145/1123058.1123063 ◽

2005 ◽

Cited By ~ 13

Author(s):

Luboš Brim ◽

Ivana Černá ◽

Pavlína Vařeková ◽

Barbora Zimmerova

Keyword(s):

System Specification ◽

Component Interaction

Download Full-text

Dream types

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 ◽

10.1145/1123058.1123061 ◽

2005 ◽

Cited By ~ 2

Author(s):

Philippe Bidinger ◽

Matthieu Leclercq ◽

Vivien Quéma ◽

Alan Schmitt ◽

Jean-Bernard Stefani

Download Full-text

Specification and verification of inter-component constraints in CTL

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 ◽

10.1145/1123058.1123067 ◽

2005 ◽

Cited By ~ 3

Author(s):

Nguyen Truong Thang ◽

Takuya Katayama

Keyword(s):

Specification And Verification

Download Full-text

A specification-based approach to reasoning about pointers

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 ◽

10.1145/1123058.1123066 ◽

2005 ◽

Cited By ~ 1

Author(s):

Gregory Kulczycki ◽

Murali Sitaraman ◽

Bruce W. Weide ◽

Atanas Rountev

Download Full-text

A categorical characterization for the compositional features of the # component model

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 ◽

10.1145/1123058.1123071 ◽

2005 ◽

Author(s):

Francisco Heron de Carvalho Junior ◽

Rafael Dueire Lins

Keyword(s):

Component Model

Download Full-text

A component-based specification approach for embedded systems using FDTs

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 ◽

10.1145/1123058.1123073 ◽

2005 ◽

Cited By ~ 2

Author(s):

Abdelaziz Guerrouat ◽

Harald Richter

Keyword(s):

Embedded Systems

Download Full-text

A specification language for coordinated objects

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 ◽

10.1145/1123058.1123062 ◽

2005 ◽

Cited By ~ 2

Author(s):

Gabriel Ciobanu ◽

Dorel Lucanu

Keyword(s):

Specification Language

Download Full-text

Specification and design of component-based coordination systems by integrating coordination patterns

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 ◽

10.1145/1123058.1123069 ◽

2005 ◽

Author(s):

Pedro L. Pérez-Serrano ◽

Marisol Sánchez-Alonso

Keyword(s):

Coordination Systems ◽

Coordination Patterns

Download Full-text

Software product lines structuring based upon market demands

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 ◽

10.1145/1123058.1123072 ◽

2005 ◽

Author(s):

Montse Ereño ◽

Uxue Landa ◽

Dra. Rebeca Cortazar

Keyword(s):

Software Product Lines ◽

Product Lines ◽

Software Product

Download Full-text

Performance modeling and prediction of enterprise JavaBeans with layered queuing network templates

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 ◽

10.1145/1123058.1123064 ◽

2005 ◽

Cited By ~ 12

Author(s):

Jing Xu ◽

Alexandre Oufimtsev ◽

Murray Woodside ◽

Liam Murphy

Keyword(s):

Performance Modeling ◽

Queuing Network ◽

Enterprise Javabeans ◽

Modeling And Prediction ◽

Layered Queuing Network

Download Full-text

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Component-interaction automata as a verification-oriented component-based system specification

Dream types

Specification and verification of inter-component constraints in CTL

A specification-based approach to reasoning about pointers

A categorical characterization for the compositional features of the # component model

A component-based specification approach for embedded systems using FDTs

A specification language for coordinated objects

Specification and design of component-based coordination systems by integrating coordination patterns

Software product lines structuring based upon market demands

Performance modeling and prediction of enterprise JavaBeans with layered queuing network templates

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05
Latest Publications