表示向下
发表于 2025-3-23 12:09:44
Prototyping with Contracts and Scenarios,; as these partial behavioral specifications are of vital importance for the overall software development process, since they facilitate the derivation of test cases and contribute to general quality attributes such as maintainability and correctness.
压碎
发表于 2025-3-23 15:32:52
Contracts and Type Systems,ces between the two formalisms. We also show that the subtyping rules identified for syntactic subtype relationships are also valid in the semantic case, and we present and discuss the axiom-strengthening rules for subtypes in the context of assertions. Additionally, we present some concepts for for
装勇敢地做
发表于 2025-3-23 21:27:38
tandards to fulfill these aims. The number of methods and tools available to the software engineer nowadays is overwhelming; nevertheless, many software projects fail—that is, do not meet their schedules, are o978-3-642-62160-4978-3-642-18564-9
镇压
发表于 2025-3-23 23:29:34
Book 2004oftware . The discipline aims at developing methods, techniques, tools, and standards to fulfill these aims. The number of methods and tools available to the software engineer nowadays is overwhelming; nevertheless, many software projects fail—that is, do not meet their schedules, are o
AWRY
发表于 2025-3-24 04:51:52
http://reply.papertrans.cn/24/2372/237125/237125_15.png
Heterodoxy
发表于 2025-3-24 10:10:59
https://doi.org/10.1007/978-3-642-18564-9Behavioral Specification; Contracts; OCL; Object Constraint Language; Scenarios; Software Architecture; So
繁重
发表于 2025-3-24 10:49:32
978-3-642-62160-4Springer-Verlag Berlin Heidelberg 2004
争议的苹果
发表于 2025-3-24 15:33:20
https://doi.org/10.1007/978-3-540-72362-2In the first sections of this book we presented well known software engineering techniques that can be used to enhance the quality of software.
Kidney-Failure
发表于 2025-3-24 19:44:33
https://doi.org/10.1007/978-3-540-72362-2In Chaps. 1–4 (and in parts of Chap. 5), we used a number of small and easy to understand examples to show some concepts of assertions in general, of the syntax and semantics of the Object Constraint Language (OCL), and of general aspects of the UML. This was sufficient, as we concentrated on aspects of an assertion or general scenario problem.
责难
发表于 2025-3-25 01:00:46
https://doi.org/10.1007/978-3-540-72362-2This appendix describes the grammar for specifying contracts as used in this book.