Back to Results
First PageMeta Content
Ada programming language / Software architecture / Systems architecture / Formal methods / Ada / SPARK / Architecture Analysis & Design Language / Ravenscar profile / Real-time computing / Computing / Software engineering / Computer programming


i i “program” — — 10:23 — page 1 — #1 i
Add to Reading List

Document Date: 2005-05-10 08:56:12


Open Document

File Size: 1,70 MB

Share Result on Facebook

City

York / Invited Speakers Model / Boston / John McDermid Model / London / /

Company

The MITRE Corporation / Software Engineering / Integrated Warfare Systems / Engineering Laboratory / Certifiably Dependable Software / Ada Europe / Intermetrics Inc. / Pyrrhus Software / Adalog / Thomas Associates / Java Expert Group / AADL / Sun Microsystems / Ada Rapporteur Group / Program Validation Limited / Bruce Lewis / IFIP Working Group / Real-Time Systems Research Group / Fault Tolerant Software / Praxis High Integrity Systems / IEEE Transactions / Ada Core Technologies / Praxis / /

Continent

Europe / /

Country

United Kingdom / United States / /

Event

M&A / /

Facility

University of York / University of Houston / Royal York Hotel / centre of York / University of Bristol / City University / University of Wales / University of Pittsburgh / New York University / University of Oxford / Software Engineering Center / Expert Witness Institute / University of Maryland University College / Clemson University / Manchester airport / The University of Maryland / /

IndustryTerm

embedded systems technology / safety-critical real-time systems / software engineering / software design / software safety / software intensive system / experimental developer / software safety case / application software components / software technology / Web-aware Applications / safety-critical software / computer software industry / software mechanisms / integrity software / software-based systems / fashionable technologies / multi-server applications / software specification development / software development / Systems software architects / software development methods / software-intensive systems / software safety arguments / fullscale Web applications / telecommunications / mainstream software / software intensive systems / session management / Web Server / software safety evidence / software architecture / real-time systems / aerospace / safety critical software development lifecycle / software safety case development / aircraft armament systems / software engineers / integrity systems / Web technology / safety-critical applications / real-time applications / software technologies / software-based techniques / realtime applications / appropriate software safety evidence / software engineering outputs / software systems / unanticipated software / dependable systems / software safety cases / Web interface / software faults / safety critical software development / research / safety critical software / software development lifecycles / level computing languages / safety-critical systems / safety critical systems / runtime systems / dependable software design / software industry / systems engineering services / Web interfaces / flight control systems / information needed by analysis tools / unanticipated software faults / /

OperatingSystem

Unix / XP / Linux / /

Organization

Institution of Electrical Engineers / US National Academy of Sciences / ACM / New York University / University of Maryland / Royal Air Force / U.S. Government / International Society of Automotive Engineers / Computer Science Department / Royal Statistical Society / University of Pittsburgh / UK Nuclear Safety Advisory Committee / City University / London / US Army’s Aviation and Missile Command / United States Army / University of Bristol / ENST / ISO committee / University of Maryland University College / Expert Witness Institute / University of Houston / United States Navy / Centre for Software Reliability / Federal Aviation Administration / Correctness / Real-Time / UK Computing Research Committee / Society of Automotive Engineering Architecture Analysis and Description Language / University of York / BCS Safety-Critical Systems Task Force / Internal Revenue Service / AFNOR / Software Engineering Directorate / Software Engineering Center / University of Wales / British Computer Society / Department of Computer Science / Technical Interpretations Committee for the RTSJ / Embedded Computing Systems Committee / Research Committee / University of Oxford / and a Visiting / Avionics Systems Division / Ada Resource Association / Department of Defense / Clemson University / Real-Time for Java Expert Group / Centre for Software Reliability at City University / London / /

Person

Bev Littlewood Assessing / Pascal Leroy / John McDermid / Patrick Rogers / Ada Programmers / John Barnes / William Bail / Martyn Thomas Extreme Hubris / Martyn Thomas / Bev Littlewood / Benjamin M. Brosgol / Tucker Taft / Distinguished Reviewers / Presenter Matt / Joyce Tokar / Jean-Pierre Rosen / Rob Weaver / Randy Brukardt / Alan Burns / Peter Amey / P. Rosen / Presenter John McDermid / /

Position

invited keynote speaker / Computer Scientist / software engineer at the computing center / independent consultant software engineer / aeronautical engineer / Minster / engineering officer / author / Professor / experienced software engineer and a specialist / designer / Invited Speaker / Chief Technical Officer / Professor of Software Engineering / Editor / co-author / leader / Chairman / Director / experienced lecturer / chair / Chairman of group / chairman / standardization committee / member / past chairman / Special Interest Group / founder / /

Product

Eurofighter / /

ProgrammingLanguage

Java / Ada / C++ / /

ProvinceOrState

Mississippi / Maryland / /

PublishedMedium

the IEEE Transactions on Software Engineering / /

Technology

object-oriented programming / software technology / Linux / Web technology / software technologies / Java / embedded systems technology / GUI / Unix / artificial intelligence / Web Server / /

URL

http /

SocialTag