On Specification Carrying Software‚ its Refinement and Composition

On Specification Carrying Software‚ its Refinement and Composition

Bibliographic Details
Main Authors:	Anlauff, M, Pavlovic, D
Format:	Conference item
Published:	Society for Design and Process Science 2002

Similar Items

Composition and refinement of behavioral specifications
by: Pavlovic, D, et al.
Published: (2001)

Software development by refinement
by: Pavlovic, D, et al.
Published: (2003)

Deriving secure network protocols for enterprise service architectures
by: Anlauff, M, et al.
Published: (2006)

Proving Authentication Properties in the Protocol Derivation Assistant
by: Anlauff, M, et al.
Published: (2006)

Abstraction Refinement for Probabilistic Software
by: Kwiatkowska, G, et al.
Published: (2009)

ACSAR: Software Model Checking with Transfinite Refinement
by: Seghir, M, et al.
Published: (2007)

Specification for refined nickel
by: 8096 British Standards Institution

Specification for refined cresylic acid
by: 8096 British Standards Institution

Abstraction and refinement in protocol derivation
by: Datta, A, et al.
Published: (2004)

Effect of refining slag compositions on its melting property and desulphurization
by: Li Shisen, et al.
Published: (2023-10-01)

A survey on refinement in formal methods and software engineering
by: Said, Mar Yah @ Mek Yah, et al.
Published: (2019)

Influence of the chemical composition of the load-carrying equipment material on its performance
by: Amosov Alexey
Published: (2023-01-01)

Improvement of cable current carrying capacity using COMSOL software
by: Chuanqiang Che, et al.
Published: (2022-11-01)

Finitary refinement checks for infinitary specifications
by: Roscoe, A
Published: (2004)

Using Z: Specification‚ Refinement‚ and Proof
by: Woodcock, J, et al.
Published: (1996)

i3Drefine software for protein 3D structure refinement and its assessment in CASP10.
by: Debswapna Bhattacharya, et al.
Published: (2013-01-01)

Compositionality and refinement in model-driven engineering
by: Davies, J, et al.
Published: (2012)

Compositionality and Refinement in Model−Driven Engineering
by: Davies, J, et al.
Published: (2012)

Software development for an automated system for carrying out information security audit
by: O. T. Danilova, et al.
Published: (2017-08-01)

Domain−Specific Semantics and Data Refinement of Object Models
by: Davies, J, et al.
Published: (2006)

Domain−specific Semantics and Data Refinement of Object Models
by: Davies, J, et al.
Published: (2008)

Automating modular program verification by refining specifications
by: Taghdiri, Mana, 1979-
Published: (2008)

Refining composition skills : rhetoric and grammer /
by: 281903 Smalley, Regina L.
Published: (2000)

Relaxation parameters and composite refinement techniques
by: Sh.A. Meligy, et al.
Published: (2022-08-01)

Species-specific transcription in mice carrying human chromosome 21.
by: Wilson, MD, et al.
Published: (2008)

Experimental Validation of Refined Models of Composite Plates
by: Karama, M., et al.
Published: (2004-03-01)

Refinement of the ISO 9126 model for evaluating software product quality in e-Book
by: N. N., Haslinda, et al.
Published: (2014)

Study of specification of refined camelina oil and effect of deodorization process on fatty acid composition and tocopherol content
by: Azardokht Pourangnia, et al.
Published: (2023-07-01)

Software specification techniques /
by: Gehani, Narain, 1947-, et al.
Published: (1986)

Refined Composite Multiscale Fuzzy Dispersion Entropy and Its Applications to Bearing Fault Diagnosis
by: Mostafa Rostaghi, et al.
Published: (2023-10-01)

Towards semantics of self−adaptive software
by: ́Pavlovic, D
Published: (2001)

Refining a Software System Deployment Process Model through Empirical Studies
by: Marisa Daniela Panizzi, et al.
Published: (2023-04-01)

A Process−Algebraic Approach to Workflow Specification and Refinement
by: Wong, P, et al.
Published: (2007)

A process-algebraic approach to workflow specification and refinement
by: Wong, P, et al.
Published: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
by: Wong, P, et al.
Published: (2007)

Refining SCJ Mission Specifications into Parallel Handler Designs
by: Frank Zeyda, et al.
Published: (2013-05-01)

Refinement-based specification and security analysis of separation kernels
by: Zhao, Yongwang, et al.
Published: (2020)

Refining Fisheries Advice With Stock-Specific Ecosystem Information
by: Jacob W. Bentley, et al.
Published: (2021-04-01)

On Refinement−Closed Security Properties and Nondeterministic Compositions
by: Murray, T, et al.
Published: (2009)

On refinement-closed security properties and nondeterministic compositions
by: Murray, T, et al.
Published: (2009)