Formal Development and Verification of Reusable Component in PAR Platform

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-41418-4_12 ◽

2020 ◽

pp. 155-166

Author(s):

Qimin Hu ◽

Jinyun Xue ◽

Zhen You ◽

Zhuo Cheng ◽

Zhengkang Zuo

Keyword(s):

Reusable Component ◽

Formal Development

Download Full-text

The Rhythms of Reiteration: Formal Development in Stravinsky's Ostinati

Music Theory Spectrum ◽

10.1525/mts.1992.14.2.02a00030 ◽

1992 ◽

Vol 14 (2) ◽

pp. 171-187 ◽

Author(s):

Gretchen Horlacher

Keyword(s):

Formal Development

Download Full-text

R-R Model: Reliable and Reusable Component-Based Development Process Model

2020 2nd International Conference on Advances in Computing, Communication Control and Networking (ICACCCN) ◽

10.1109/icacccn51052.2020.9362777 ◽

2020 ◽

Author(s):

Garima Singh ◽

Umesh Kumar Tiwari ◽

Santosh Kumar

Keyword(s):

Process Model ◽

Development Process ◽

Reusable Component ◽

Component Based Development

Download Full-text

Toward formal development of programs from algebraic specifications: Parameterisation revisited

Acta Informatica ◽

10.1007/bf01191893 ◽

1992 ◽

Vol 29 (8) ◽

pp. 689-736 ◽

Author(s):

Donald Sannella ◽

Stefan Sokolowski ◽

Andrzej Tarlecki

Keyword(s):

Algebraic Specifications ◽

Formal Development

Download Full-text

An integrated framework for formal development of open distributed systems

Information and Software Technology ◽

10.1016/j.infsof.2003.09.012 ◽

2004 ◽

Vol 46 (5) ◽

pp. 281-286 ◽

Author(s):

Issa Traoré ◽

Demissie Aredo ◽

Hong Ye

Keyword(s):

Distributed Systems ◽

Integrated Framework ◽

Formal Development ◽

Open Distributed Systems

Download Full-text

Formal Development of General Relativity

Essential Relativity ◽

10.1007/978-1-4757-1135-6_8 ◽

1969 ◽

pp. 155-212

Author(s):

Wolfgang Rindler

Keyword(s):

General Relativity ◽

Formal Development

Download Full-text

Refinement Based Formal Development of Human-Machine Interface

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-030-04771-9_19 ◽

2018 ◽

pp. 240-256 ◽

Author(s):

Romain Geniet ◽

Neeraj Kumar Singh

Keyword(s):

Human Machine Interface ◽

Formal Development ◽

Machine Interface

Download Full-text

Formal Development of Mechanisms for Tolerating Transient Faults

Rigorous Development of Complex Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/11916246_10 ◽

2006 ◽

pp. 189-209 ◽

Author(s):

Dubravka Ilić ◽

Elena Troubitsyna ◽

Linas Laibinis ◽

Colin Snook

Keyword(s):

Transient Faults ◽

Formal Development

Download Full-text

An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction

Component-Based Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87891-9_2 ◽

2008 ◽

pp. 16-31 ◽

Author(s):

Anne Martens ◽

Steffen Becker ◽

Heiko Koziolek ◽

Ralf Reussner

Keyword(s):

Performance Prediction ◽

Empirical Investigation ◽

Reusable Component

Download Full-text

A Few Remarks about Formal Development of Secure Systems

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.49 ◽

2008 ◽

Author(s):

Éric Jaeger ◽

Thérèse Hardin

Keyword(s):

Secure Systems ◽

Formal Development

Download Full-text

Formal Development of Real-Time Priority-Based Schedulers

12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) ◽

10.1109/ecbs.2005.40 ◽

2005 ◽

Author(s):

C.C. Seceleanu

Keyword(s):

Real Time ◽

Formal Development

Download Full-text