this book presents the refereed proceedings of the second international eurospace - ada-europe symposium, held in frankfurt, germany, in october 1995.the 37 selected revised papers are organized in sections on ada 95: the future, safety, language, applications, distribution, methods and tools, design methods, life cycle, real-time, and methods. many significant features of the new ada 95 version, officially issued in february 1995, are addressed. besides ada-specific problems, general software engineering aspects are also presented.