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

Software Engineering and Environment examines the various aspects of software development, describing a number of software life cycle models. Twelve in-depth chapters discuss the different phases of a software life cycle, with an emphasis on the object-oriented paradigm. In addition to technical models, algorithms, and programming styles, the author also covers several managerial issues key to software project management. Featuring an abundance of helpful illustrations, this cogent work is an excellent resource for project managers, programmers, and other computer scientists involved...