Back to Results
First PageMeta Content
Model checking / Formal verification / Software engineering / Programming language / Software development process / Science / Computing / Formal methods / SOAP Service Description Language / Applied mathematics


SSDL: overview Goal: Improving the quality of systems and software Means:
Add to Reading List

Document Date: 2012-08-09 05:02:19

Open Document

File Size: 470,52 KB

Share Result on Facebook

IndustryTerm

internet programming / large systems / /

OperatingSystem

Linux / /

Organization

European Union / /

Person

Yossi Gil / Eran Yahav / Efficient Algorithms / Orna Grumberg / /

Position

system engineer / model / Editor / /

ProgrammingLanguage

Java / C++ / /

RadioStation

Katz / /

Technology

Java / Linux / /

SocialTag