Search results for "component-based systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin	Error Modeling in Dependable Component-Based Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	error classification, dependability, component-based systems, error propagation, error modeling
3	P. S. Grover, Rajesh Kumar Bhatia, Arun Sharma	Few useful considerations for maintaining software components and component-based systems.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	ISO9126, components, maintainability, component-based systems
3	Vittorio Cortellessa, Vincenzo Grassi	A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems.	CBSE	2007	DBLP DOI BibTeX RDF	reliability, component-based systems, state-based model
3	Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou	Specification and verification of component-based systems 2007.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	verification, object-oriented, specification, component-based systems
3	Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina	Specification and verification of component-based systems 2007.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	verification, object-oriented, specification, component-based systems
3	Pavlína Vareková, Pavel Moravec 0002, Ivana Cerná, Barbora Zimmerova	Effective verification of systems with a dynamic number of components.	SAVCBS	2007	DBLP DOI BibTeX RDF	dynamic number of components, formal verification, software verification, component-based systems, finite-state systems
3	Alan W. Brown, Kurt C. Wallnau	Engineering of component-based systems.	ICECCS	1996	DBLP DOI BibTeX RDF	component based systems engineering, application systems development, systematic approach, fundamental development issues, software engineering, reference model, commercial off-the-shelf components, COTS components
2	Sebastian Herold	Checking architectural compliance in component-based systems.	SAC	2010	DBLP DOI BibTeX RDF	architectural compliance, architectural rules, component-based software design
2	Sajjad Mahmood	The Impact of Acceptance Tests on Analyzing Component-Based Systems Specifications: An Experimental Evaluation.	CIT	2010	DBLP DOI BibTeX RDF	Fit Tables, Software Components, Component Based Systems, Acceptance Tests
2	Nabila Salmi, Patrice Moreaux, Malika Ioualalen	Performance evaluation of Fractal component-based systems.	Annales des Télécommunications	2009	DBLP DOI BibTeX RDF	CBS, SWN, Synchronous composition, Asynchronous composition, Modelling, Performances, Interaction, Component
2	Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale	CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems.	ECBS	2009	DBLP DOI BibTeX RDF
2	Mila E. Majster-Cederbaum, Christoph Minnameier	Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems.	RP	2009	DBLP DOI BibTeX RDF
2	Amogh Kavimandan, Aniruddha S. Gokhale	Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems.	QoSA	2009	DBLP DOI BibTeX RDF	Graph/model transformations, deployment and configuration, Model-driven engineering, component-based systems
2	Nasib S. Gill, Balkishan	Dependency and interaction oriented complexity metrics of component-based systems.	ACM SIGSOFT Software Engineering Notes	2008	DBLP DOI BibTeX RDF	component dependency metric (CDM), component interaction dependency metric (CIDM), dependency-oriented complexity metric (DOCM)
2	Simon Bliudze, Joseph Sifakis	A Notion of Glue Expressiveness for Component-Based Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
2	Gerald Kotonya	An Architecture-Centric Development Environment for Black-Box Component-Based Systems.	ECSA	2008	DBLP DOI BibTeX RDF	black-box components, architecture, Development environment
2	Mubarak Mohammad, Vasu S. Alagar	TADL - An Architecture Description Language for Trustworthy Component-Based Systems.	ECSA	2008	DBLP DOI BibTeX RDF
2	Pierre-Charles David, Marc Léger, Hervé Grall, Thomas Ledoux, Thierry Coupaye	A Multi-stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems.	DAIS	2008	DBLP DOI BibTeX RDF
2	Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen	Compositional Verification for Component-Based Systems and Application.	ATVA	2008	DBLP DOI BibTeX RDF
2	Andreas Both, Wolf Zimmermann	Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems.	CBSE	2008	DBLP DOI BibTeX RDF
2	Yu Zhou	A runtime architecture-based approach for the dynamic evolution of distributed component-based systems.	ICSE Companion	2008	DBLP DOI BibTeX RDF	software architecture, dynamic evolution
2	Alessandro Aldini, Marco Bernardo	Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.	WADS	2008	DBLP DOI BibTeX RDF
2	Matthias Tichy, Stefan Henkler, Matthias Meyer, Markus von Detten	Safety of component-based systems: analysis and improvement using Fujaba4Eclipse.	ICSE Companion	2008	DBLP DOI BibTeX RDF	failure propagation, fujaba, structual transformations, fault tolerance, safety, hazard analysis
2	Jaiprakash T. Lallchandani, Rajib Mall	Regression testing based-on slicing of component-based software architectures.	ISEC	2008	DBLP DOI BibTeX RDF	architectural slicing, software architecture, regression testing, ADL, component-based systems
2	Jasminka Matevska	An Optimised Runtime Reconfiguration of Component-Based Software Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Runtime Reconfiguration, Service Responsiveness, Minimal Interference, Availability, Component-based Systems
2	Thareendhra Wijayasiriwardhane, Richard Lai	A Method for Measuring the Size of a Component-Based System Specification.	QSIC	2008	DBLP DOI BibTeX RDF	Component Point, Function Point extension, Software Measurement, Component-Based Systems, Component-Based Software Development, Software Effort Estimation, Software Size Estimation
2	Colin Atkinson, Philipp Bostan, Daniel Brenner, Giovanni Falcone, Matthias Gutheil, Oliver Hummel, Monika Juhasz, Dietmar Stoll	Modeling Components and Component-Based Systems in KobrA.	CoCoME	2007	DBLP DOI BibTeX RDF
2	Henry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino	Monitoring Architectural Properties in Dynamic Component-Based Systems.	CBSE	2007	DBLP DOI BibTeX RDF
2	Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier	A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems.	SOFSEM	2007	DBLP DOI BibTeX RDF
2	Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis	An Approach to Modelling and Verification of Component Based Systems.	SOFSEM	2007	DBLP DOI BibTeX RDF
2	Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli	SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.	ICSE	2007	DBLP DOI BibTeX RDF
2	Thi Quynh Bui, Oum-El-Kheir Aktouf	Diagnosis service for embedded software component based systems.	EFTS	2007	DBLP DOI BibTeX RDF	fault tolerance, embedded systems, dependability, diagnosis
2	Jasminka Matevska, Wilhelm Hasselbring	A Scenario-based Approach to Increasing Service Availability at Runtime Reconfiguration of Component-based Systems.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
2	Mohammad Izadi, Ali Movaghar	Compositional failure-based semantic equivalences for Reo specifications.	SAVCBS	2007	DBLP DOI BibTeX RDF	Reo specification language, failure-based equivalences, semantics, coordination, component-based systems, constraint automata
2	Dirk Niebuhr, Andreas Rausch	A concept for dynamic wiring of components: correctness in dynamic adaptive systems.	SAVCBS	2007	DBLP DOI BibTeX RDF	runtime testing, adaptation, component, reconfiguration, correctness, dynamic adaptive systems
2	Pavlína Vareková, Barbora Zimmerova	Subject-observer specification with component-interaction automata.	SAVCBS	2007	DBLP DOI BibTeX RDF	dynamic number of components, verification, specification, component-based systems, software modelling, finite-state systems
2	Samuel Kounev	Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	performance evaluation, distributed systems, software verification, Performance modeling and prediction
2	Gang Huang 0001, Hong Mei, Fuqing Yang	Runtime recovery and manipulation of software architecture of component-based systems.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Reflection, Runtime system, Component framework, Software architecture recovery
2	Olga Kouchnarenko, Arnaud Lanoix	How to Verify and Exploit a Refinement of Component-Based Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	LTL properties, verification, composition, refinement, modules, component-based systems
2	Antonia Bertolino, Henry Muccini, Andrea Polini	Architectural Verification of Black-Box Component-Based Systems.	RISE	2006	DBLP DOI BibTeX RDF
2	Philippe Collet, Alain Ozanne, Nicolas Rivierre	Enforcing Different Contracts in Hierarchical Component-Based Systems.	Software Composition	2006	DBLP DOI BibTeX RDF
2	Mark Grechanik, Dewayne E. Perry, Don S. Batory	A Security Mechanism for Component-Based Systems.	ICCBSS	2006	DBLP DOI BibTeX RDF
2	Philippe Collet, Alain Ozanne, Nicolas Rivierre	On contracting different behavioral properties in component-based systems.	SAC	2006	DBLP DOI BibTeX RDF	verification, component, contract, assertion, TLA
2	Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta	A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems.	CBSE	2006	DBLP DOI BibTeX RDF
2	Weizhong Shao, Gang Huang 0001, Haiyan Zhao	Modeling of component based systems.	ICSE	2006	DBLP DOI BibTeX RDF	UML, software architecture, component, feature model
2	Abdelaziz Guerrouat, Harald Richter	A component-based specification approach for embedded systems using FDTs.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	embedded system, testing, specification, component-based systems, formal description techniques
2	Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili	Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.	ASE	2005	DBLP DOI BibTeX RDF	component assembly, component based software engineering, component adaptation
2	Andreas Leicher, Susanne Busse, Jörn Guy Süß	Analysis of Compositional Conflicts in Component-Based Systems.	Software Composition	2005	DBLP DOI BibTeX RDF
2	Abbas Tarhini, Hacène Fouchal	Conformance Testing of Real-Time Component Based Systems.	ISSADS	2005	DBLP DOI BibTeX RDF
2	Dang Van Hung, Bui Vu Anh	Model Checking Real-Time Component Based Systems with Blackbox Testing.	RTCSA	2005	DBLP DOI BibTeX RDF	Duration Automata, Real-time Systems, Automatic Verification, Component Software
2	Gurdip Singh, Sanghamitra Das	Customizing Event Ordering Middleware for Component-Based Systems.	ISORC	2005	DBLP DOI BibTeX RDF
2	Ling Lan, Gang Huang 0001, Liya Ma, Meng Wang, Hong Mei, Long Zhang, Ying Chen	Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles.	CBSE	2005	DBLP DOI BibTeX RDF
2	Elke Franz, Ute Wappler	Tailored Responsibility Within Component-Based Systems.	CBSE	2005	DBLP DOI BibTeX RDF
2	Abbas Tarhini, Antoine Rollet, Hacène Fouchal	A pragmatic approach for testing robustness on real-time component based systems.	AICCSA	2005	DBLP DOI BibTeX RDF
2	Yajuan Pan, Dai Pan, Mei-Hwa Chen	Slicing Component-Based Systems.	ICECCS	2005	DBLP DOI BibTeX RDF
2	Petar Popic, Dejan Desovski, Walid Abdelmoez, Bojan Cukic	Error Propagation in the Reliability Analysis of Component Based Systems.	ISSRE	2005	DBLP DOI BibTeX RDF
2	Heikki Verta	Analyzing Component-Based Systems Using the Self-Organizing Map.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
2	Luca Balzerani, Davide Di Ruscio, Alfonso Pierantonio, Guglielmo De Angelis	A product line architecture for web applications.	SAC	2005	DBLP DOI BibTeX RDF	feature oriented domain analysis, variability determination, web applications, reflection, component-based systems, product line architectures
2	Gaoyan Xie	Decompositional Verification of Component-based Systems-A Hybrid Approach.	ASE	2004	DBLP DOI BibTeX RDF
2	Arshad Jhumka, Martin Hiller, Neeraj Suri	An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems.	HASE	2004	DBLP DOI BibTeX RDF	formal methods, metrics, fault injection, detectors, fail-safe, cost/benefit analysis
2	Steffen Becker, Lars Grunske, Raffaela Mirandola, Sven Overhage	Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
2	Trevor Parsons	A framework for detecting, assessing and visualizing performance antipatterns in component based systems.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	component-based systems (CBS), enterprise java beans (EJB), data mining, dynamic analysis, antipatterns
2	Gerald Kotonya, John Hutchinson	Viewpoints for Specifying Component-Based Systems.	CBSE	2004	DBLP DOI BibTeX RDF
2	Leonardo Mariani	Behavior Capture and Test for Verifying Evolving Component-Based Systems.	ICSE	2004	DBLP DOI BibTeX RDF	Run-time veri.cation of evolving component-based systems
2	Steffen Zschaler	Towards a Semantic Framework for Non-functional Specifications of Component-Based Systems.	EUROMICRO	2004	DBLP DOI BibTeX RDF
2	Mourad Oussalah, Adel Smeda, Tahar Khammaci	An Explicit Definition of Connectors for Component-Based Software Architecture.	ECBS	2004	DBLP DOI BibTeX RDF	component-based systems design, operational mechanisms, software architecture, components, connectors
2	Plamen P. Angelov, Y. Zhang, Jonathan A. Wright, V. I. Hanby, R. A. Buswell	Automatic Design Synthesis and Optimization of Component-Based Systems by Evolutionary Algorithms.	GECCO	2003	DBLP DOI BibTeX RDF
2	Maritta Heisel, Jeanine Souquières	Adding Features to Component-Based Systems.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
2	Nazareno Aguirre, T. S. E. Maibaum	A Logical Basis for the Specification of Reconfigurable Component-Based Systems.	FASE	2003	DBLP DOI BibTeX RDF
2	Olga Kouchnarenko, Arnaud Lanoix	Refinement and Verification of Synchronized Component-Based Systems.	FME	2003	DBLP DOI BibTeX RDF
2	Nazareno Aguirre, T. S. E. Maibaum	Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
2	Nazareno Aguirre, T. S. E. Maibaum	A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems.	ASE	2002	DBLP DOI BibTeX RDF
2	Marlon E. R. Vieira, Debra J. Richardson	Analyzing Dependencies in Large Component-Based Systems.	ASE	2002	DBLP DOI BibTeX RDF
2	Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Rogério de Lemos	A Fault-Tolerant Software Architecture for Component-Based Systems.	WADS	2002	DBLP DOI BibTeX RDF
2	David E. Bernholdt, Wael R. Elwasif, James Arthur Kohl	Communication Infrastructure in High-Performance Component-Based Scientific Computing.	PVM/MPI	2002	DBLP DOI BibTeX RDF	SCMD programming, MPI, Scientific computing, PVM, Component-based systems, Common Component Architecture
2	Yi Cui, Klara Nahrstedt	QoS-Aware Dependency Management for Component-Based Systems.	HPDC	2001	DBLP DOI BibTeX RDF
2	Harshinder Singh, Vittorio Cortellessa, Bojan Cukic, Erdogan Gunel, Vijayanand Bharadwaj	A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems.	ISSRE	2001	DBLP DOI BibTeX RDF
2	Hung-Sheng Chiu, Chyan Yang	Beyond E-commerce Software Quality: Web Services Effectiveness.	APAQS	2001	DBLP DOI BibTeX RDF	architecture-centric, web services, e-commerce, component-based systems
2	John C. Grundy, Rakesh Patel	Developing Software Components with the UML, Enterprise Java Beans and Aspects.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF	XML, UML, component-based systems, Aspect-oriented design, Enterprise Java Beans
2	Pearl Brereton, David Budgen	Component-Based Systems: A Classification of Issues.	IEEE Computer	2000	DBLP DOI BibTeX RDF
2	Alessandro Orso, Mary Jean Harrold, David S. Rosenblum	Component Metadata for Software Engineering Tasks.	EDO	2000	DBLP DOI BibTeX RDF	metadata, Components, component-based systems, distributed components
2	George A. Papadopoulos, Farhad Arbab	Dynamic Reconfiguration in Coordination Languages.	HPCN	2000	DBLP DOI BibTeX RDF	Coordination Languages and Models, Software Engineering for Distributed and Parallel Systems, Modelling Software Architectures, Dynamic Reconfiguration, Component-Based Systems
1	Rubén Fuentes-Fernández, Juan Pavón, Francisco J. Garijo	A model-driven process for the modernization of component-based systems.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Liang Gu, Guangdong Bai, Yao Guo, Xiangqun Chen, Hong Mei	Security model oriented attestation on dynamically reconfigurable component-based systems.	J. Network and Computer Applications	2012	DBLP DOI BibTeX RDF
1	Nabila Salmi, Patrice Moreaux, Malika Ioualalen	Structured performance analysis for component-based systems.	IJCCBS	2012	DBLP DOI BibTeX RDF
1	Sebastian Herold	Compliance between Architecture and Design Models of Component-Based Systems.	ECEASST	2011	DBLP BibTeX RDF
1	Petr Hnetynka, Frantisek Plasil	Using meta-modeling in design and implementation of component-based systems: the SOFA case study.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Lianshan Sun, Gang Huang 0001	Towards accuracy of role-based access control configurations in component-based systems.	Journal of Systems Architecture - Embedded Systems Design	2011	DBLP DOI BibTeX RDF
1	Frédéric Loiret, Romain Rouvoy, Lionel Seinturier, Daniel Romero 0002, Kévin Sénéchal, Ales Plsek	An Aspect-Oriented Framework for Weaving Domain-Specific Concerns into Component-Based Systems.	J. UCS	2011	DBLP BibTeX RDF
1	Mubarak Mohammad, Vangalur S. Alagar	A formal approach for the specification and verification of trustworthy component-based systems.	Journal of Systems and Software	2011	DBLP DOI BibTeX RDF
1	Pedro J. Clemente, Juan Hernández, José María Conejero, Guadalupe Ortiz	Managing crosscutting concerns in component based systems using a model driven development approach.	Journal of Systems and Software	2011	DBLP DOI BibTeX RDF
1	Nikola Benes, Ivana Cerná, Milan Krivánek	CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems	PDMC	2011	DBLP DOI BibTeX RDF
1	Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll	Algorithms for Synthesizing Priorities in Component-based Systems	CoRR	2011	DBLP BibTeX RDF
1	Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten	Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study	CoRR	2011	DBLP BibTeX RDF
1	Usha Kumari, Sucheta Bhasin	A composite complexity measure for component-based systems.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	Parminder Kaur, Hardeep Singh	A model for versioning control mechanism in component-based systems.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	Kirti Tyagi, Arun Sharma	Reliability of component based systems: a critical survey.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem	Runtime Verification of Component-Based Systems.	SEFM	2011	DBLP DOI BibTeX RDF
1	Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten	Synchronous control of reconfiguration in fractal component-based systems: a case study.	EMSOFT	2011	DBLP DOI BibTeX RDF
1	Christian Lambertz, Mila E. Majster-Cederbaum	Analyzing Component-Based Systems on the Basis of Architectural Constraints.	FSEN	2011	DBLP DOI BibTeX RDF