In the brief history of the World Wide Web (WWW), much has changed. Millions of web pages have been published in a relatively short time. Next to the Web content, the one of the most dynamic aspects of the WWW is the development of HyperText Markup Language (HTML). This paper explores the various versions of HTML and gives a status report on HTML standards development. A discussion of possible future trends is also included.

There are currently many problems with the development and assessment of software intensive safety-critical systems. In this paper we describe the problems, and introduce a novel approach to their solution, based around goal-structuring concepts, which we believe will ameliorate some of the difficulties. We discuss the use of modified and new forms of safety assessment notations to provide evidence of safety, and the use of data derived from such notations as a means of providing quantified input into the design assessment process. We then show how the design assessment can be partially automated, and from this develop some ideas on how we might move from analytical to synthetic approaches, using safety criteria and evidence as a fitness function for comparing alternative automatically-generated designs.

This paper explains the rationale for Interim Defence Standard 00-56 and discusses the benefits of its use. The Standard, which has found favour in the UK civil sector as well as being applied to military systems, is considered in the context of ...

This paper gives a brief introduction to the application development environment of the DECmpp 12000 Massively Parallel Computer. Specifically, the architecture, operating system and compilers are discussed.