Institutional Repository
From specification in UML and object-z through refinement to implementation into java: A study on the use of inheritance
- UnisaIR Home
- →
- Unisa Research Output
- →
- Work in progress
- →
- Scopus
- →
- View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Van Coppenhagen I.H.M.
|
en |
| dc.contributor.author | Kotze P.
|
en |
| dc.contributor.author | Van Der Poll J.A.
|
en |
| dc.date.accessioned | 2012-11-01T16:31:36Z | |
| dc.date.available | 2012-11-01T16:31:36Z | |
| dc.date.issued | 2004 | en |
| dc.identifier.citation | Transactions of the South African Institute of Electrical Engineers | en |
| dc.identifier.citation | 95 | en |
| dc.identifier.citation | 4 | en |
| dc.identifier.issn | 382221 | en |
| dc.identifier.uri | http://hdl.handle.net/10500/7414 | |
| dc.description.abstract | This paper provides an example that illustrates parts of the software life cycle processes of specification, refinement and implementation for the use of inheritance in an object-oriented environment. Some background on UML, Object-Z, Java and inheritance is provided, as well as short descriptions of the refinement process comprising data refinement, operation refinement and operation decomposition. Part of a software system is specified in UML and Object-Z, data and operation refined, and then implemented in Java. One of the aims of this study is to investigate the effectiveness of UML and Object-Z, or a combination of the two for the specification and refinement processes of the example. Some conclusions are drawn and suggestions for future research given. | en |
| dc.language.iso | en | en |
| dc.subject | Implementation; Inheritance; Instantiation; Java; Object-oriented; Object-Z; Refinement; Specification; UML Algorithms; Computer programming languages; Information dissemination; Mathematical models; Problem solving; Software engineering; Specifications; Computer-oriented specifications; Data refinement; Operation refinement; Software life cycle processes; Java programming language | en |
| dc.title | From specification in UML and object-z through refinement to implementation into java: A study on the use of inheritance | en |
| dc.type | Article | en |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||
This item appears in the following Collection(s)
-
Scopus [510]