Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
27
views
35
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,572
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
Component-Based Software Engineering
other
Author(s):
He Jifeng
,
Xiaoshan Li
,
Zhiming Liu
Publication date
(Print):
2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Value-based Healthcare
Most cited references
35
Record
: found
Abstract
: not found
Article
: not found
A classification and comparison framework for software architecture description languages
R.N. Taylor
,
N. Medvidovic
(2000)
0
comments
Cited
70
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Reo: a channel-based coordination model for component composition
Farhad Arbab
(1999)
0
comments
Cited
57
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A formal basis for architectural connection
Robert Allen
,
David Garlan
(1997)
0
comments
Cited
39
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2005
Pages
: 70-95
DOI:
10.1007/11560647_5
SO-VID:
517831c3-7795-4e90-b240-76abc502d5c7
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
A Rewriting Logic Sampler
pp. 29
Codes and Length-Increasing Transitive Binary Relations
pp. 49
Languages and Process Calculi for Network Aware Programming – Short Summary -
pp. 53
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks
pp. 70
Component-Based Software Engineering
pp. 96
Outfix-Free Regular Languages and Prime Outfix-Free Decomposition
pp. 110
Solving First Order Formulae of Pseudo-Regular Theory
pp. 125
Splicing Array Grammar Systems
pp. 136
Compositionality of Fixpoint Logic with Chop
pp. 151
An SLD-Resolution Calculus for Basic Serial Multimodal Logics
pp. 166
Upside-Down Transformation in SOL/Connection Tableaux and Its Application
pp. 180
On the Stability Semantics of Combinational Programs
pp. 195
Generating C Code from LOGS Specifications
pp. 211
Formalizing the Debugging Process in Haskell
pp. 227
Finding Resource Bounds in the Presence of Explicit Deallocation
pp. 242
The Timer Cascade: Functional Modelling and Real Time Calculi
pp. 257
A Robust Interpretation of Duration Calculus
pp. 272
Symbolic Model Checking of Finite Precision Timed Automata
pp. 288
Covarieties of Coalgebras: Comonads and Coequations
pp. 303
Linking Theories of Concurrency
pp. 318
On Cool Congruence Formats for Weak Bisimulations
pp. 334
Externalized and Internalized Notions of Behavioral Refinement
pp. 351
Information Flow Is Linear Refinement of Constancy
pp. 366
On Typing Information Flow
pp. 381
Representation and Reasoning on RBAC: A Description Logic Approach
pp. 394
Revisiting Failure Detection and Consensus in Omission Failure Environments
pp. 409
Congruences and Bisimulations for Continuous-Time Stochastic Logic
pp. 424
A Logic for Quantum Circuits and Protocols
pp. 439
Quantitative Temporal Logic Mechanized in HOL
pp. 454
Weak Stochastic Bisimulation for Non-markovian Processes
pp. 469
On Refinement of Software Architectures
pp. 485
POST: A Case Study for an Incremental Development in rCOS
pp. 501
Implementing Application-Specific Object-Oriented Theories in HOL
pp. 517
Constructing Open Systems via Consistent Components
pp. 532
A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems
pp. 546
Using Fairness Constraints in Process-Algebraic Verification
pp. 562
Maximum Marking Problems with Accumulative Weight Functions
pp. 579
Toward an Abstract Computer Virology
pp. 594
On Superposition-Based Satisfiability Procedures and Their Combination
pp. 609
A Summary of the Tutorials at ICTAC 2005
Similar content
4,572
CPAchecker: A Tool for Configurable Software Verification
Authors:
Dirk Beyer
,
M. Erkan Keremoglu
Commercial Computer-Aided Design Software Optimises DRO Circuit Design
Authors:
B.S. Virdee
,
A.J. Parsons
,
R.G. Meadows
Numerical simulation of perovskite solar cell with different material as electron transport layer using SCAPS-1D Software
Authors:
K. Bhavsar
,
P.B. Lapsiwala
See all similar
Cited by
1
RoboComp: A Tool-Based Robotics Framework
Authors:
Luis Manso
,
Pilar Bachiller
,
Pablo Bustos
…
See all cited by