Showing papers in "Journal of Systems and Software in 1985"

TL;DR: The GANDALF project is concerned with the automated generation of software development environments, which has considered project management environments, system version control environments, and incremental programming environments.

TL;DR: The current and potential role of symbolic evaluation in verification, testing, debugging, optimization, and software development is explored.

TL;DR: An empirical investigation of the relationships between effort expended, time scales, and project size for software project development suggested it was possible to develop cost models tailored to a particular environment and to improve the precision of the models as they are used during the development cycle by including additional information such as the known effort for the early development phases.

TL;DR: This empirical study evaluates the extent to which a set of software measures are correlated with the number of faults and the total estimated repair effort for a large software system and presents a suitable method of adjusting the metrics for size.

TL;DR: The results of the later study were in many respects almost identical to those obtained earlier, thus validating the previous study, and revealed a very strong relationship between a programmer's attitude to his supervisor and programming productivity.

TL;DR: The Information model methodology only is used to construct an information model that helps in understanding the structure of information needed to support the functions of an organization.

TL;DR: Some design decisions made during the development of the GANDALF system are described and the system's applicability to the generation of single-user programming environments and multi-user software development environments are described.

TL;DR: This algorithm is significantly different from other incremental parsing algorithms in that it does not involve modifications to a traditional parsing algorithm or the overhead of maintaining a parser stack or any data structure other than the syntax tree to maintain a correct syntax tree.

TL;DR: A framework for studying human factors in software engineering is provided to reduce the effort required to develop and maintain software and the availability of software developers must be increased.

TL;DR: The view that one should distinguish between relevant old data that is purposely archived and obsolete information that should automatically be deleted is taken.

TL;DR: In this paper, rigorous application of stepwise refinement is explored, where the steps of definition, decomposition, and completion are described, where completion is a newly introduced step.

TL;DR: The results suggest that the relationship of length and structure complexity characteristics to program changes is consistent for different programming methodologies, while the Relationship of program changes and characteristics that relate to the use of data and procedure names is not consistent.

TL;DR: The multiuser software development system FLOW uses a diagrammatic language, FLOW-DL, to represent the system under development, which includes a syntax-directed editor, as well as a software production data base which holds the FLow-DL source code, interface data relating to the program modules, and control information pertaining to the state of the systemUnder development.

TL;DR: The formal definition of a programming language in denotational style is taken as the basis for the automatic generation of its interpreter through the use of a generation technique in a GANDALF environment.

TL;DR: This paper presents the results of a study of the software complexity characteristics of a large real-time signal processing system for which there is a 6-yr maintenance history, and which software complexity metrics would be most useful for estimating maintenance effort.

TL;DR: An analytical model based on a well-known probability formula, which has been implemented in FORTRAN and used for the design of a real-time distributed processing system that requires high availability, is presented and cost-effective ways to achieve higher availability are suggested.

TL;DR: It is shown that many modeling techniques that are intuitively rather natural and easy to describe are of this kind, particularly relationships in which, if a given computation is possible in the system, the corresponding computations (if any) are also Possible in the model.

TL;DR: The study shows that the maximally parallel program can run in considerably less time than that needed to run the original sequential FORTRAN program.

TL;DR: An optimistic implementation of the stack-heap in which each module instance is kept in the stack until it suspends and copied into the heap where it remains for the lifetime of the instance.

TL;DR: This work presents a formal design for the system protocols of back-end storage networks that relies on predicate-transition nets (PrT-nets), which actually represent an extension of Petri nets and can provide reasonable means for precise modeling of complex systems.

TL;DR: A suite of programs, called STRAPS, (Software TRAnsPort System), is presented, which is designed to automatically translate programs from one arbitrary assembly language into another.

TL;DR: A project to write a simulator for the native mode text editor of one computer, which could be run on a different computer to give a user of both computers a common editing language.