Du er ikke logget ind
Beskrivelse
Introduces a number of software life cycle models and the basic concepts of object-oriented systems, then details different phases of a life cycle emphasizing the object-oriented paradigm. Among the topics are formal specifications and verification, programming and coding, declarative programming, a