|
1. |
The STARTS programme |
|
Software Engineering Journal,
Volume 1,
Issue 6,
1986,
Page 207-211
CrineanKay,
LisaBaguley,
Preview
|
PDF (1063KB)
|
|
摘要:
STARTS is a national programme aimed at improving the competitiveness of the UK real-time software systems supply industry by encouraging the widespread adoption of software engineering methods and tools. This is being pursued on two fronts: by harnessing purchasing power to accelerate the uptake of methods and tools by system suppliers, and by providing guidance and information about software engineering principles and methods and tools.
DOI:10.1049/sej.1986.0033
出版商:IEE
年代:1986
数据来源: IET
|
2. |
The SESAME project |
|
Software Engineering Journal,
Volume 1,
Issue 6,
1986,
Page 212-221
KeithSouthwell,
Preview
|
PDF (2179KB)
|
|
摘要:
A large proportion of Logica's work is concerned with the development of software. It is therefore fundamental that the methods and tools used are geared to the production of highquality software in an efficient manner. Project SESAME was initiated in 1983 to ensure that this continues to happen in the face of the rapid improvements which are now taking place in software technology. This paper describes: the history of the project and its objectives; the approach adopted to introducing new technology, covering the organisational issues raised and the trade-offs between persuasion and compulsion; the choices made in specific areas of software engineering tools and methods, and the reasons for these choices; the activities carried out, including the documents provided to Logica staff and the training programme which has been initiated; the implications for other areas such as quality standards; and the lessons that have been learned.
DOI:10.1049/sej.1986.0034
出版商:IEE
年代:1986
数据来源: IET
|
3. |
Application of a structured methodology to real-time industrial software development |
|
Software Engineering Journal,
Volume 1,
Issue 6,
1986,
Page 222-235
JulianPost,
Preview
|
PDF (2458KB)
|
|
摘要:
This paper describes four years of experience with the Yourdon diagram-based structured methodology in a medium-sized company producing real-time industrial systems. The methodology is outlined and some of the problems encountered are described along with the substantial benefits gained. There is some discussion of future prospects with Yourdon, including a brief assessment of recent real-time extensions, and of the methodology's ability to take on board automation and more formal methods.
DOI:10.1049/sej.1986.0035
出版商:IEE
年代:1986
数据来源: IET
|
4. |
The Experimental Aircraft Programme software toolset |
|
Software Engineering Journal,
Volume 1,
Issue 6,
1986,
Page 236-247
P.Cronshaw,
Preview
|
PDF (2264KB)
|
|
摘要:
The Experimental Aircraft Programme (EAP) is a technology demonstrator project in advance of the next generation of fighter aircraft. An integrated software toolset has been established to support the development and production of software for the advanced avionic systems embedded in this aircraft. This paper presents the work undertaken and the experience gained in developing, using and supporting the EAP software toolset from project initiation to final delivery of the software for flight testing. Many of the issues pertaining to the future requirements of an integrated project support environment and the rigours imposed in delivering relliable and high-quality real-time software for embedded processors are discussed.
DOI:10.1049/sej.1986.0036
出版商:IEE
年代:1986
数据来源: IET
|
5. |
Some verification tools and methods for airborne safety-critical software |
|
Software Engineering Journal,
Volume 1,
Issue 6,
1986,
Page 248-253
K.A.Helps,
Preview
|
PDF (1472KB)
|
|
摘要:
Airborne software, like many other kinds of embedded software, grows in complexity with each generation of equipment. Where the software supports safety-critical functions this can present severe verification problems. The scale of such software is often outside the scope of mathematically formal verification, and dissimilar software redundancy techniques may be inapplicable for performance reasons. A practical approach is to meet safety-critical criteria by procedurally formal verification in line with the Radio Technical Commission for Aeronautics and the European Organisation for Civil Aviation Electronics common revised (1985) guidelines on the software aspects of certification of airborne systems, using a comprehensive automated test converage analysis and partition breach analysis system.
DOI:10.1049/sej.1986.0037
出版商:IEE
年代:1986
数据来源: IET
|
6. |
The public tool interface in software engineering environments |
|
Software Engineering Journal,
Volume 1,
Issue 6,
1986,
Page 254-258
T.G.L.Lyons,
Preview
|
PDF (811KB)
|
|
摘要:
Well specified public tool interfaces(PTIs) on which tools run, and which provide access to all facilities used by tools, are now being designed to lie at the heart of software engineering environments. This allows the source code of tools to be ported between different implementations of the PTI. Database access is of particular importance for an effective environment, and this is not provided by conventional system services. The background to current PTI work and some early developments are considered. Standardisation efforts are described, and future research is mentioned briefly, before drawing conclusions on the importance of this topic.
DOI:10.1049/sej.1986.0038
出版商:IEE
年代:1986
数据来源: IET
|
7. |
Early experience with an IPSE |
|
Software Engineering Journal,
Volume 1,
Issue 6,
1986,
Page 259-264
P.W.Dell,
Preview
|
PDF (994KB)
|
|
摘要:
British Telecom and Imperial Software Technology are collaborating to produce ISTAR, a second-generation integrated project support environment(IPSE). This product is now entering the stage of beta-site testing within BT, and IST is negotiating licences for the use of the product. To gain early experience with IPSEs and to help specify ISTAR, BT has built and operated a first-generation IPSE(IPSE1), incorporating much of the philosophy underlying ISTAR. IPSE1 has been used by a variety of (BT) customers with varying degrees of success. The largest and most successful user is BT's Belfast System and Software Engineering Centre, where registration has been achieved under the BSI registered firm scheme against BS5750. This paper outlines the philosophy used in ISTAR and IPSE 1(and also indicates the differences between the two). It then provides some background to the difficulties of introducing IPSEs into a work environment and some of the advantages and disadvantages found by both user and support organisations.
DOI:10.1049/sej.1986.0039
出版商:IEE
年代:1986
数据来源: IET
|
|