Back to Results
First PageMeta Content
Technology / Science / Software engineering / Theoretical computer science / Software requirements / Formal verification / Software verification / Formal specification / Problem frames approach / Software development / Formal methods / Systems engineering


Document Date: 2010-11-08 10:51:38

Open Document

File Size: 130,96 KB

Share Result on Facebook

City

Minneapolis / Baltimore / Marktoberdorf / Amsterdam / /

Company

Prentice-Hall / IEEE CS Press / IOS Press / Subproblem Components Software / The Johns Hopkins University Press / /

Country

Netherlands / United States / /

/

Event

Natural Disaster / /

Facility

Anthony Hall / Jon Hall / The Open University / Jon G Hall / facility GC6VC07.doc / /

IndustryTerm

software-intensive system component / telephone service / software parts / software verification goal / software verification deal / software implementations / lift car / verification tools / software specifications / selected web services / software components / software modules / file systems / correct software / appropriate verification tools / software execution / software interfaces / formal tools / software specification / software product / software component / realistic software-intensive systems / software-intensive system problems / software-intensive systems / cache management / successive putative solutions / formal verification tools / machine tool / causal chains / software-intensive system / motor car / phrase tools / formal and mechanised reasoning tools / verification tool / /

Organization

Open University / The Johns Hopkins University / NATO Summer School / Iowa State University / /

Person

David Lorge Parnas / Michael Butler / Jan Madey / Michael A Jackson / Gary Leavens / Mary Shaw / Keith Marzullo / Alessandro Coglio / Fred B Schneider / Michael Jackson / Simon PeytonJones / Douglas R. Smith / Jean-Raymond Abrial / Robert Seater / Aaron Stump / David Garlan / Eric Hehner / Manfred Broy / Navin Budhiraja / Robin Milner / Fred Schneider / Alan Turing / Ian J Hayes / Pamela Zave / Don Batory / Jim Woodcock / Michel Sintzoff / Kathi Fisler / Tony Hoare / Ralf Steinbruggen / Lucia Rapanotti / Cliff B Jones / Walter G Vincenti / Daniel Jackson / Murali Sitaraman / Dino Mandrioli / Dale Miller / /

Position

Reference Model for Requirements Engineering / Butler / compiler designer / hotel manager / engineer / designer / writer / A1 Lights Controller / programmer / /

ProgrammingLanguage

Java / /

ProvinceOrState

Indiana / Iowa / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

stipulated protocol / two protocols / operating systems / Java / firewall / smart card system / /

SocialTag