標(biāo)題: Titlebook: Algebraic Foundations of Systems Specification; Egidio Astesiano,Hans-J?rg Kreowski,Bernd Krieg-Br Book 1999 IFIP International Federation [打印本頁] 作者: 可入到 時間: 2025-3-21 18:22
書目名稱Algebraic Foundations of Systems Specification影響因子(影響力)
書目名稱Algebraic Foundations of Systems Specification影響因子(影響力)學(xué)科排名
書目名稱Algebraic Foundations of Systems Specification網(wǎng)絡(luò)公開度
書目名稱Algebraic Foundations of Systems Specification網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Algebraic Foundations of Systems Specification被引頻次
書目名稱Algebraic Foundations of Systems Specification被引頻次學(xué)科排名
書目名稱Algebraic Foundations of Systems Specification年度引用
書目名稱Algebraic Foundations of Systems Specification年度引用學(xué)科排名
書目名稱Algebraic Foundations of Systems Specification讀者反饋
書目名稱Algebraic Foundations of Systems Specification讀者反饋學(xué)科排名
作者: Pedagogy 時間: 2025-3-21 23:49
Book 1999d for the mathematical foundation of ab- stract data types and the formal development of first-order applicative pro- grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming作者: Binge-Drinking 時間: 2025-3-22 03:57 作者: 逃避系列單詞 時間: 2025-3-22 05:39 作者: Ligneous 時間: 2025-3-22 09:32
Institutions: An Abstract Framework for Formal Specifications, and software development parameterized by an arbitrary institution rather than having a particular logical system built in, should be beneficial both by helping to avoid repetitious work and by bringing the concepts and results to an appropriate level of mathematical and practical abstraction.作者: Ingredient 時間: 2025-3-22 13:32 作者: chronology 時間: 2025-3-22 18:28
Book 1999 as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineeri作者: SLAY 時間: 2025-3-23 01:06
Adaptive Resonances Across Scalesstudy of specific classes of algebras, such as groups and rings) is called.or sometimes.. This chapter presents the basics of universal algebra, generalized to the.case as required to model programs which manipulate several kinds or.of data.作者: 燒烤 時間: 2025-3-23 02:44
Algebraic Preliminaries,study of specific classes of algebras, such as groups and rings) is called.or sometimes.. This chapter presents the basics of universal algebra, generalized to the.case as required to model programs which manipulate several kinds or.of data.作者: Tartar 時間: 2025-3-23 08:14
in algebraic specification.Includes supplementary material: The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the req作者: CUMB 時間: 2025-3-23 10:55 作者: Loathe 時間: 2025-3-23 17:52 作者: deviate 時間: 2025-3-23 21:15
The Role of Formal Specifications,hat they bring for software development. Section 3 is devoted to the use of formal specifications for requirement engineering and validation. Section 4 addresses the notions of refinement and verification. Section 5 discusses what kind of tools can be developed on the basis of formal specifications.作者: REP 時間: 2025-3-24 01:28
From Total Equational to Partial First-Order Logic, partial (positive) conditional fragments are investigated in detail, and in particular the existence of initial (free) models for such restricted logical paradigms is proved. Finally some more powerful algebraic frameworks are sketched.作者: jarring 時間: 2025-3-24 02:24 作者: Arthropathy 時間: 2025-3-24 09:10
Proof Systems for Structured Specifications and Their Refinements,These proof methods have been well studied in the case of nonstructured specifications (see Chapters 9 and 10). For large systems of specifications built using the structuring operators of specification languages, relatively few proof techniques have been developed yet; for such proof systems, see [SB83, HST94, Wir93, Far92, Cen94, HWB97].作者: 歪曲道理 時間: 2025-3-24 14:30
https://doi.org/10.1007/978-3-662-47122-7hat they bring for software development. Section 3 is devoted to the use of formal specifications for requirement engineering and validation. Section 4 addresses the notions of refinement and verification. Section 5 discusses what kind of tools can be developed on the basis of formal specifications.作者: geriatrician 時間: 2025-3-24 16:44 作者: BRACE 時間: 2025-3-24 20:29 作者: Mumble 時間: 2025-3-25 00:07
GDSS Past, Present, and Future,These proof methods have been well studied in the case of nonstructured specifications (see Chapters 9 and 10). For large systems of specifications built using the structuring operators of specification languages, relatively few proof techniques have been developed yet; for such proof systems, see [SB83, HST94, Wir93, Far92, Cen94, HWB97].作者: MAPLE 時間: 2025-3-25 03:50 作者: 考博 時間: 2025-3-25 08:49
Refinement and Implementation, computers and serve certain purposes. The intended tasks and purposes of a data processing system may be put together in the requirements definition. Then the final program implements the intended system and is said to be correct if it meets the requirements.作者: 不出名 時間: 2025-3-25 12:58 作者: Mindfulness 時間: 2025-3-25 17:39
Formalization of the Development Process,aintenance. In this chapter we concentrate on the intermediate tasks: the transition from requirements specification to verified design and design optimization, in particular, techniques for developing correct designs as opposed to ad hoc or.methods in which a postulated design is later verified or tested.作者: 網(wǎng)絡(luò)添麻煩 時間: 2025-3-25 23:15 作者: 撫慰 時間: 2025-3-26 01:12 作者: 我還要背著他 時間: 2025-3-26 05:30
https://doi.org/10.1007/978-3-662-47122-7ata types can be directly represented in the most natural way. Both model theory and logical deduction are fully described. Alternatives to partiality, like (variants of) error algebras and order-sortedness, are also discussed, emphasizing their uses and limitations. Moreover, both the total and the作者: 清洗 時間: 2025-3-26 10:44
Adaptive Resonances Across Scalesformal notion of a logical system viewed from a model-theoretic perspective. We also sketch some possibilities of linking this to more proof-oriented concepts. We argue that the theory of institutions provides an appropriate framework for much of the work on formal software specification and develop作者: ligature 時間: 2025-3-26 13:06 作者: 燦爛 時間: 2025-3-26 16:58
Dwijendra Nath Dwivedi,Shailendra Pathak computers and serve certain purposes. The intended tasks and purposes of a data processing system may be put together in the requirements definition. Then the final program implements the intended system and is said to be correct if it meets the requirements.作者: 不能仁慈 時間: 2025-3-26 23:07
V. Kakulapati,S. Mahender Reddy,Sriman Nainid functions; structuring mechanisms for building large specifications in a modular fashion; a description of the semantics of the language; mechanisms for performing proofs of properties of specifications; a notion of refinement of specifications; and a way of relating specifications to programs wri作者: 耐寒 時間: 2025-3-27 04:39
Meira Levy,Nava Pliskin,Gilad Raviddefined data types and theorem proving related to program verification. A formulation of term rewriting was proposed first by Evans [Eva51] and later by Knuth and Bendix [KB70]. Originally its main purpose was for generating .,which can be used as decision procedures for proving the validity of equa作者: outskirts 時間: 2025-3-27 06:16 作者: comely 時間: 2025-3-27 11:26
https://doi.org/10.1007/978-3-322-91018-9Autonomy means that each object encapsulates all features needed to act as an independent computing agent: individual attributes ( data), methods (operations), behavior (process), and communication facilities. Each object also has a unique identity that is immutable throughout its lifetime. Coincide作者: needle 時間: 2025-3-27 14:44
https://doi.org/10.1007/978-3-322-91018-9s may involve communicating, synchronizing, cooperating, acting in parallel, competing for resources with other processes and/or with the environment. By “concurrent systems” we mean processes which may consist of other processes (or in turn concurrent systems) operating concurrently.作者: 婚姻生活 時間: 2025-3-27 20:26
Grzegorz Sierpiński,El?bieta Macioszekaintenance. In this chapter we concentrate on the intermediate tasks: the transition from requirements specification to verified design and design optimization, in particular, techniques for developing correct designs as opposed to ad hoc or.methods in which a postulated design is later verified or 作者: fluoroscopy 時間: 2025-3-28 01:36 作者: lipids 時間: 2025-3-28 05:33
978-3-642-64151-0IFIP International Federation for Information Processing 1999作者: 放大 時間: 2025-3-28 10:12 作者: conifer 時間: 2025-3-28 13:26
Dwijendra Nath Dwivedi,Shailendra Pathak computers and serve certain purposes. The intended tasks and purposes of a data processing system may be put together in the requirements definition. Then the final program implements the intended system and is said to be correct if it meets the requirements.作者: 圖畫文字 時間: 2025-3-28 15:03 作者: 浮雕寶石 時間: 2025-3-28 21:36 作者: 無目標(biāo) 時間: 2025-3-29 02:30 作者: Flirtatious 時間: 2025-3-29 03:53 作者: Musket 時間: 2025-3-29 07:28 作者: Cleave 時間: 2025-3-29 14:37 作者: Nostalgia 時間: 2025-3-29 16:19 作者: excrete 時間: 2025-3-29 22:09 作者: Fecundity 時間: 2025-3-30 02:09 作者: 評論者 時間: 2025-3-30 04:21
Algebraic Preliminaries,ard and for that reason the presentation will be concise. More detailed presentations with greater emphasis on motivation, exercises, and examples may be found in [EM85, Wir90, LEW96, ST]. The most basic assumption of work on algebraic specification is that a program is modeled as an.,that is, a set作者: CLASH 時間: 2025-3-30 09:30 作者: OUTRE 時間: 2025-3-30 16:15
Institutions: An Abstract Framework for Formal Specifications,formal notion of a logical system viewed from a model-theoretic perspective. We also sketch some possibilities of linking this to more proof-oriented concepts. We argue that the theory of institutions provides an appropriate framework for much of the work on formal software specification and develop
