<--- Back to Details
First PageDocument Content
Method Framework for Engineering System Architectures / Systems engineering / Software architecture / Carnegie Mellon University / Systems architecture / Engineering / Ontology / Software Engineering Institute / Science / Donald Firesmith / Software engineering
Date: 2009-07-06 14:12:28
Method Framework for Engineering System Architectures
Systems engineering
Software architecture
Carnegie Mellon University
Systems architecture
Engineering
Ontology
Software Engineering Institute
Science
Donald Firesmith
Software engineering

Add to Reading List

Source URL: www.sei.cmu.edu

Download Document from Source Website

File Size: 2,15 MB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Computer programming / Carnegie Mellon University / Carnegie Mellon Silicon Valley / Abstract interpretation / Mellon / Scala / Refinement

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xVXp - View Document

Theoretical computer science / Information retrieval / Information science / Model checkers / Hashing / Model checking / Ith / SPIN model checker / Bitstate hashing / Cryptographic hash function / Correctness / Applied mathematics

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

DocID: 1xVM2 - View Document

Provinces of Iran / Sharif University of Technology / Tehran Province / Nejad / Mohammad Ghodsi / Tehran / SUT

Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad

DocID: 1xVB5 - View Document

Improving the Adoption of Software Engineering Practices Through Persuasive Interventions Von der Fakultät für Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universität Hannover zur Erlangung des Grades

DocID: 1xVuG - View Document

Logic / Mathematical logic / Non-classical logic / Markov logic network / Software testing / Probabilistic logic / Software bug / Code coverage / Debugging / Inference / First-order logic / Buggy

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

DocID: 1xVks - View Document