• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 16
  • 3
  • Tagged with
  • 23
  • 23
  • 15
  • 6
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

An interactive, graphical, program design and development environment

Heerjee, K. B. January 1988 (has links)
New software development methodologies are being produced with increasing frequency. The latest techniques claim to produce software of unprecedented reliability and productivity, yet are seldom substantiated by empirical evidence. Researchers in the field of human-computer interactions have long held the view that well designed interactive systems increase performance levels over conventional techniques. Intuitively this seems logical, but very little work has been done to substantiate this claim empirically. This thesis aims to show that well designed structured programming environments provide productivity gains and increase performance levels over conventional techniques. An Animated Programming Environment (APE), has been developed which is an interactive, graphical, program design and development system that embodies structured programming and top-down design. The system supports the development of programs for a variety of block structured languages whilst working conceptually at the level of Jackson diagrams. Formal methods were applied to validate and verify the APE system. The immediate benefits are an increased understanding of the system and the detection of some errors in the implementation. By interrogating the implementation and documentation, axiomatic specifications were written and a prototype of the APE system developed in Standard ML. The principal benefit of constructing a formal model is the development of a framework to aid communication between personnel involved with system maintenance. The model can also be used to investigate future changes, and since this framework provides relevant abstraction of user and system behaviour it should facilitate improved documentation and user learning. Evaluation of the system was carried out during the design and implementation stages of the development life-cycle. The evaluation was based on responses to a questionnaire and a comparison with conventional means of generating code. The questionnaire evaluation elicited users' general impressions about the system and its interface, and their detailed views on more specific aspects of the system. The comparative evaluation showed no difference in the median quality of the solution to a programming problem, but a significantly reduced time and variance in quality compared to conventional methods.
2

Towards a semantics bridge between structured specifications and logicspecifications

梁秉雄, Leung, Ping-hung, Karl Richard. January 1992 (has links)
published_or_final_version / Computer Science / Master / Master of Philosophy
3

Towards a semantics bridge between structured specifications and logic specifications /

Leung, Ping-hung, Karl Richard. January 1992 (has links)
Thesis (M. Phil.)--University of Hong Kong, 1992.
4

Strategies used in computer program comprehension and debugging.

Young, Christopher B. 01 January 1986 (has links) (PDF)
No description available.
5

Transforming data flow diagrams to software structure using the Yourdon-Constantine methodology

Antonucci, Franco January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries
6

A system for programming with interactive graphical support

龐民治, Pong, Man-chi. January 1980 (has links)
published_or_final_version / Computer Science / Master / Master of Philosophy
7

A system for programming with interactive graphical support /

Pong, Man-chi. January 1980 (has links)
Thesis--M. Phil., University of Hong Kong, 1980.
8

A macro-defined interpreter for a structured high level language

Smith, Robert W. (Robert William), 1952- January 1977 (has links)
No description available.
9

Learning comprehensible theories from structured data /

Ng, Kee Siong. January 2005 (has links)
Thesis (Ph.D.)--Australian National University, 2005.
10

Using SetPSO to determine RNA secondary structure

Neethling, Charles Marais. January 2008 (has links)
Thesis (MSc (Computer science))--University of Pretoria, 2008. / Includes bibliographical references.

Page generated in 0.1359 seconds