Back to Results
First PageMeta Content
Data types / Type theory / Mathematical logic / Predicate / Predicate logic / Propositional calculus / Postcondition / Formal methods / Type system / Computing / Logic / Software engineering


The Inscape Environment Dewayne E. Perry AT&T Bell Laboratories Murray Hill, NJ[removed]2529
Add to Reading List

Document Date: 2001-02-14 09:30:12

Open Document

File Size: 61,41 KB

Share Result on Facebook

Company

AT&T / /

/

IndustryTerm

system search techniques / large systems / evolutionary software systems / integrated software development environment / integration-test management / large software systems / software interconnections / software development environment / software development environments / elegant formal systems / verification technology / software development / software systems / integrated software development enviroment / energy / /

Organization

Pittsburgh PA / /

Person

Gerard Manley Hopkins / /

/

Position

poet / general programmer / Assistant / Designer / practicing programmer / programmer / /

ProgrammingLanguage

Ada / FP / OBJ / C / /

Technology

simulation / verification technology / /

SocialTag