On the engineering of crucial software

The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described

NASA Tech Briefs, January 1999

Topics include: special coverage sections on sensors and data acquisition and sections on electronic components and circuits, electronic software, materials, mechanics, bio-medical physical sciences, book and reports, and a special section of Photonics Tech Briefs

Trinity College Bulletin, 1997-1998 (Annual Report)

https://digitalrepository.trincoll.edu/bulletin/1410/thumbnail.jp

Volume 62, Number 08 (August 1944)

Mind\u27s Ear Why Music Study Is a Priceless Investment Keep Jazz Within Its Limits! (interview with Paul Whiteman) Greatest Show On Earth Grew Out of Music (interview with Mrs. Charles Ringling) Vital Use of Drudgery Building Character Through Music Music in the Chinese Theater Coöperative Pupil\u27s Recital Plan Which Succeeded Protect your Precious Musical Instruments If Parents Had Had Their Way Musical Ideas Come First Practice With Your Brains! Technic of the Month—Prelude in F-sharp Major, Op. 28, No. 13, by Frédéric Chopinhttps://digitalcommons.gardner-webb.edu/etude/1213/thumbnail.jp

System architecture metrics: an evaluation

The research described in this dissertation is a study of the application of measurement, or metrics for software engineering. This is not in itself a new idea; the concept of measuring software was first mooted close on twenty years ago. However, examination of what is a considerable body of metrics work, reveals that incorporating measurement into software engineering is rather less straightforward than one might pre-suppose and despite the advancing years, there is still a lack of maturity. The thesis commences with a dissection of three of the most popular metrics, namely Haistead's software science, McCabe's cyclomatic complexity and Henry and Kafura's information flow - all of which might be regarded as having achieved classic status. Despite their popularity these metrics are all flawed in at least three respects. First and foremost, in each case it is unclear exactly what is being measured: instead there being a preponderance of such metaphysical terms as complexIty and qualIty. Second, each metric is theoretically doubtful in that it exhibits anomalous behaviour. Third, much of the claimed empirical support for each metric is spurious arising from poor experimental design, and inappropriate statistical analysis. It is argued that these problems are not misfortune but the inevitable consequence of the ad hoc and unstructured approach of much metrics research: in particular the scant regard paid to the role of underlying models. This research seeks to address these problems by proposing a systematic method for the development and evaluation of software metrics. The method is a goal directed, combination of formal modelling techniques, and empirical ealiat%or. The met\io s applied to the problem of developing metrics to evaluate software designs - from the perspective of a software engineer wishing to minimise implementation difficulties, faults and future maintenance problems. It highlights a number of weaknesses within the original model. These are tackled in a second, more sophisticated model which is multidimensional, that is it combines, in this case, two metrics. Both the theoretical and empirical analysis show this model to have utility in its ability to identify hardto- implement and unreliable aspects of software designs. It is concluded that this method goes some way towards the problem of introducing a little more rigour into the development, evaluation and evolution of metrics for the software engineer

2009-2010 Course Catalog

2009-2010 Course Catalo

Traditional compound and sustainable housing in Yorubaland, Nigeria: a case study of Iseyin

This research is concerned with Yoruba traditional habitation using the community of Iseyin as a case study. The traditional compound (agbo -ile) of the Yoruba of south-western Nigeria is the tangible product of the ingenuity of the people, which evolved from their indigenous technical knowledge. Its design, production, regulation, management and administration were, to a large extent, handled on a co- operative or communal basis. The virtues of the traditional compound have sustained the people throughout the land until recently when modern houses began to replace the traditional compound. The methods of building and the planning and use of houses have changed in response to the demands of Westernization, modern technology, migration, urbanization, architects' craze for complex designs and preference for non -local building materials, and the Christianization and Islamization of the society, and government's planning and physical development policies. Agbo ile no longer appeals to the affluent and those already exposed to Western ideas, resulting in the decay, collapse and complete ruin of the age - long courtyard mud houses

Integration of Virtual Programming Lab in a process of teaching programming EduScrum based

Programming teaching is a key factor for technological evolution. The efficient way to learn to program is by programming and hard training and thus feedback is a crucial factor in the success and flow of the process. This work aims to analyse the potential use of VPL in the teaching process of programming in higher education. It also intends to verify whether, with VPL, it is possible to make students learning more effective and autonomous, with a reduction in the volume of assessment work by teachers. Experiments were carried out with the VPL, in the practical-laboratory classes of a curricular unit of initiation to programming in a higher education institution. The results supported by the responses to surveys, point to the validity of the model

2007-2008 Course Catalog

2007-2008 Course Catalo