Refactoring object-z specifications
Contribuinte(s) |
M. Wermelinger T. Margaria-Steffen |
---|---|
Data(s) |
01/01/2004
|
Resumo |
Object-Z offers an object-oriented means for structuring formal specifications. We investigate the application of refactoring rules to add and remove structure from such specifications to forge object-oriented designs. This allows us to tractably move from an abstract functional description of a system toward a lower-level design suitable for implementation on an object-oriented platform. |
Identificador | |
Idioma(s) |
eng |
Publicador |
Springer |
Palavras-Chave | #E1 #280402 Mathematical Logic and Formal Languages #700199 Computer software and services not elsewhere classified |
Tipo |
Conference Paper |