只有
发表于 2025-3-27 00:49:20
Software Reliability Improvement - the Fault Free Factory (A Case Study),d techniques adopted, how they have evolved over time together with their relative benefits and the overall quality improvements that have been achieved. The tools and techniques form part of a long-term strategy to establish a fully-integrated software factory producing error free products.
Cantankerous
发表于 2025-3-27 05:07:12
Reflections on a large software development project,in Integrated Support Environments. The paper attempts to justify the notion that a framework fashioned for Process and Architectural support should be the starting point for the development of the core of such an Environment. “It takes longer than you expect, even when you take into account Hofstadter’s Law” [hofl.
OATH
发表于 2025-3-27 05:28:40
Software Architecture Modelling,f three techniques - formal specification, functional programming and rapid prototyping - to model software architecture. This paper discusses the use of me too to model the architecture of part of a large software system that is being developed for the Esprit IMSE (Integrated Modelling Support Environment) project.
HACK
发表于 2025-3-27 13:13:45
http://reply.papertrans.cn/88/8709/870840/870840_34.png
跟随
发表于 2025-3-27 14:06:13
http://reply.papertrans.cn/88/8709/870840/870840_35.png
choroid
发表于 2025-3-27 18:20:50
http://reply.papertrans.cn/88/8709/870840/870840_36.png
Ligament
发表于 2025-3-28 01:17:05
Design of A Flight and Radar Data Processing System for the Support of Air Traffic Control,radar data from source to destination is described, together with their interaction. A generic system architecture is discussed. A subsystem life cycle covering planning, procurement and operation is outlined. Finally concerns characteristic of Large Software Systems in general are discussed with reference to the above framework.
冷淡一切
发表于 2025-3-28 06:05:03
Structuring Trust in A Large General Purpose Operating System,ach is applicable to any structured large general purpose system that enables a convent ial TCB/ Trusted Process architecture to be implemented, though it is described in the paper with particular refer once to ICL’s W E operating system.
Ethics
发表于 2025-3-28 06:29:12
http://reply.papertrans.cn/88/8709/870840/870840_39.png
最高峰
发表于 2025-3-28 13:10:50
Process Support Environments and Their Application to Large Scale Systems,rge scale “process support environments”. Key features are the integration of management and technical activities, the concept of a “plan” as an instantiation of a “method”, and the ability for the process model to evolve over time to take account of changing requirements, both managerial and technical.