Vista normal Vista MARC Vista ISBD

Mingins, Christine

From UML to design by contract

DBC is central to the Eiffel method. The Eiffel method and notation covers analysis, design, specification, and implementation. Contracts are captured by assertions. Assertions enable designers to view the relationship between a class and its clients by explicitly stating each party's rights and obligations

Subjects--Topical Terms:
SYSTEMS DEVELOPMENT
GUIDELINES
COMPONENTS
CODE REUSE
OBJECT ORIENTED PROGRAMMING

Universal Decimal Class. No.: H004.415 JOU