This paper discusses the introduction of the Object Oriented Programming paradigm in softwareengineering Education. Although the subject has being growing in importance over the past few years, its inclusion among th...
详细信息
This paper discusses the introduction of the Object Oriented Programming paradigm in softwareengineering Education. Although the subject has being growing in importance over the past few years, its inclusion among the software engineer assets is still very limited. It is suggested that teaching of OOP be included as early as possible in undergraduate and graduate curricula as opposed to the current situation of leaving the subject to advanced courses;Issues related to re-educating experienced programmers, including faculty, are also presented.
Students of softwareengineering very rarely have the opportunity to gather experience in leading projects. This not only restricts their management skills, but also prevents them from learning about the project mana...
详细信息
Object-Z is an extension of the formal specification language Z, augmenting the class concept as a structuring facility. The paper introduces and discusses a structural mapping system from Object-Z to the programming ...
详细信息
In this paper, we give an efficient algorithm, the SAT1.2 algorithm, for the SAT problem. For randomly generated formulas with n clauses, m variables, and l literals per clause, the average run time of the SAT1.2 algo...
详细信息
The Navy's Next Generation CompMer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface standards that will allow the US. Nav...
Space Station Freedom (SSF) faces several challenges which are unique in the NASA history of manned and unmanned spacecraft systems. The challenges include a 30 year life, and evolution in capability of the station as...
详细信息
Space Station Freedom (SSF) faces several challenges which are unique in the NASA history of manned and unmanned spacecraft systems. The challenges include a 30 year life, and evolution in capability of the station as...
详细信息
Space Station Freedom (SSF) faces several challenges which are unique in the NASA history of manned and unmanned spacecraft systems. The challenges include a 30 year life, and evolution in capability of the station as a science platform and potentially a transportation node for manned missions to the solar system. The Data Management System (DMS) is a key element of SSF. DMS is the computational infrastructure of SSF, responsible for integrating information onboard into a cooperative whole. Its primary role is to provide integrated data processing and communication services for both the core function and the payloads. The authors focus on some real-time issues in the design of DMS.< >
There are many different ways to prove that a training example is subsumed by a target concept. Each proof gives rise to a different sufficient condition for the concept, some of which are considerably more general th...
详细信息
With an ever increasing body of software to maintain and a small number ofexperiencedpersonnel, it is critical to improve software maintenance practice. One difficult problem maintenance organizations must address is ...
详细信息
暂无评论