ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
100
views
13
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,706
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
POST: A Case Study for an Incremental Development in rCOS
other
Author(s):
Quan Long
,
Zongyan Qiu
,
Zhiming Liu
,
Lingshuang Shao
,
He Jifeng
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
ScienceOpen Clinical Case Reports Collection
Most cited references
13
Record
: found
Abstract
: not found
Book
: not found
Software Development: A Rigorous Approach
C.B. JONES
,
CB JONES
,
C. Jones
…
(1980)
0
comments
Cited
7
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Refectoring, Improving the Design of Existing Code
M. FOWLER
,
M Fowler
,
M Fowler
(2000)
0
comments
Cited
5
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
Zhiming Liu
,
He Jifeng
,
Xiaoshan Li
…
(2003)
0
comments
Cited
4
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2005
Pages
: 485-500
DOI:
10.1007/11560647_32
SO-VID:
26d9cc4b-b302-4c6c-856a-2bf2cd52d037
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
3,706
The reward value of light increment under supranormal and subnormal arousal.
Authors:
D Berlyne
Quadriceps Muscles O2 Extraction and EMG Breakpoints during a Ramp Incremental Test.
Authors:
Danilo Iannetta
,
Ahmad Qahtani
,
Guillaume Y Millet
…
Principles of the Method of Large Time Increments
Authors:
Pierre Ladevèze
See all similar