A FORMAL APPROACH TO RELIABLIE NETWORK SOFTWARE

A FORMAL APPROACH TO RELIABLIE NETWORK SOFTWARE

Bibliographic Details
Main Authors:	Yuen, Shoji, Imai, Keigo, Suetsugu, Ryo, Agusa, Kiyoshi
Language:	en
Published:	INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE 2006
Online Access:	http://hdl.handle.net/2237/10413

Similar Items

Session Type Inference in Haskell
by: Keigo Imai, et al.
Published: (2011-10-01)

Software Development Technique for WEB Applications with High Reliability and High Maintainability
by: Agusa, Kiyoshi
Published: (2004)

Programming Models for Dependable Network Software Development
by: Agusa Laboratory
Published: (2005)

Informal, semi-formal, and formal approaches to the specification of software requirements
by: Wong Cheng In, Marie Hélène LinLee.
Published: (2009)

Informal, semi-formal, and formal approaches to the specification of software requirements
by: Wong Cheng In, Marie Hélène LinLee.
Published: (2009)

Formal reasoning in software-defined networks
by: Reitblatt, Mark
Published: (2017)

時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述
by: 桑原, 寛明, et al.
Published: (2004)

A Dual Language Approach to Software Formal Specification
by: Chia-Ho Sun, et al.
Published: (2002)

A Formal Model and Verification Problems for Software Defined Networks
by: V. A. Zakharov, et al.
Published: (2013-12-01)

A Formal Model and Verification Problems for Software Defined Networks
by: V. A. Zakharov, et al.
Published: (2013-01-01)

Descendants and Head Normalization of Higher-Order Rewrite Systems
by: Kasuya, Hideto, et al.
Published: (2002)

From VDM to ABC : a pragmatic approach to formal software development
by: Kans, Aaron
Published: (1996)

A formal approach to hazard decomposition in Software Fault Tree Analysis
by: Needham, Donald Michael
Published: (2013)

A formal approach to analysis of software architectures for real-time systems
by: Wall, Anders
Published: (2000)

Formal verification of control software
by: Jobredeaux, Romain J.
Published: (2015)

A formal model of software subsystems /
by: Edwards, Stephen
Published: (1995)

An integrated formal approach for developing reliable software of safety-critical system
by: Ouyang, Meng
Published: (2005)

A Formal Component-Based Software Engineering Approach For Developing Trustworty Systems
by: Mohammad, Mubarak Sami
Published: (2009)

A formal component-based software engineering approach for developing trustworthy systems
by: Mohammad, Mubarak Sami
Published: (2009)

A Control-based Approach for Self-adaptive Software Systems with Formal Guarantees
by: Shevtsov, Stepan
Published: (2017)

A formal approach to automate the evolution management in component-based software development processes
by: Mokni, Abderrahman
Published: (2015)

Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens
by: Tomohiko Takagi, et al.
Published: (2021-07-01)

Introduction to Formal Methods for Software Engineering
by: Trevor King
Published: (1993-02-01)

Formal modeling and analysis of complex software
by: Faiza Belala, et al.
Published: (2020-05-01)

Application of Formal Methods in Software Engineering
by: Adriana Morales, et al.
Published: (2011-12-01)

Formalizing the ISDF Software Development Methodology
by: Mihai Liviu DESPA
Published: (2015-01-01)

Formal techniques in the management of software design
by: Richardson, W. E.
Published: (1983)

Formal methods for rapid software prototyping
by: Quintas Figueiredo de Barros, Alexandra Maria
Published: (1997)

Formal methods and reuse in software engineering
by: Higgs, Clive Richard
Published: (1990)

Software tools to support formal methods
by: McParland, Patrick J.
Published: (1989)

Formal approach on modeling and predicting of software system security: Stochastic petri net
by: H. Motameni
Published: (2015-01-01)

Formal and quantitative approach to non-functional requirements modeling and assessment in software engineering
by: Kassab, Mohamad
Published: (2009)

A Formal Approach to the Threshold Logic Network Optimization
by: Huang, Chiao Wei, et al.
Published: (2016)

A formal method for modeling and analysis of requirements for software /
by: Pino, Lou
Published: (1993)

Sequence Diagram Slicing
by: Noda, Kunihiro, et al.
Published: (2009)

Logic Programming Tools for Formal Software Specification
by: Halina Przymusińska
Published: (2011-09-01)

Formalizing software development: The case of critical missions
by: Guohj Kai, et al.
Published: (2016-12-01)

Introduction of the Formal Methods in Software Engineering Training
by: Jorge Toledo B.
Published: (2013-07-01)

Software reuse using formal specification of requirements
by: Chidambaram, Jeyashree.
Published: (2007)

Software reuse using formal specification of requirements
by: Chidambaram, Jeyashree.
Published: (2007)