Department of Computer Science People in Software Engineering: - PDF document

Department of Computer Science People in Software Engineering: Research at  Samik Basu (Formal Methods) Iowa State University  Carl Chang (Requirements Engineering)  Gary T. Leavens (Formal Methods, AOP) (summary)  Markus Lumpe (Prog. Languages) Gary T. Leavens  Robyn Lutz (Requirements, Safety Critical) Midwest Software Engineering Consortium, May 21, 2004 www.cs.iastate.edu  Andrew Miner (Analysis, Performance Eval)  Hridesh Rajan (Aspect-Oriented Software) Also people in Computer Engineering Dept. Dept. of Computer Science Dept. of Computer Science Iowa State University 2 Samik Basu: Research Areas Carl Chang: Research Areas  Specification & Verification of Infinite-State Systems Software Engineering  Program Verification & Error-Cause Localization Requirements Engineering Project Management Net-Centric Computing Dept. of Computer Science Iowa State University Dept. of Computer Science Iowa State University 3 4 1

Carl Chang: SE Research Projects Gary Leavens: Research Areas Programming Software Engineering Languages Requirements Specification Semantics Engineering languages, Project Tools Architecture-Based: Management SABRE With genetic Software algorithms Formal Theory methods Engineering Dept. of Computer Science Iowa State University Dept. of Computer Science Iowa State University 5 6 Markus Lumpe: Research Areas Gary Leavens: SE Research Projects  Design, implementation of object- Programming and component-oriented languages Languages  Type theory for software composition MultiJava, Alias Dispatch Assertion  Formal semantics Type checking, checking, AOP  Concurrent programming Unit testing JML  Object-Oriented Compiler Construction Software Behavioral Theory subtyping, Engineering Frame axioms, invariants Dept. of Computer Science Iowa State University Dept. of Computer Science Iowa State University 7 8 2

Robyn Lutz: Research problem Robyn Lutz: Funded research  Safety analysis for critical product lines, National How can we specify and verify software Science Foundation (with Jing (Janet) Liu, Josh requirements to build safer systems? Dehlinger, Qian Feng)  Natural language in development of high-confidence Software Engineering software, National Science Foundation, collaborative with Dr. J. Knight, U of Virginia (with Oko Swai, Requirements Kendra Schmid) Engineering  Product line analysis of constellation software, Iowa Software Safety Space Grant Consortium (with Qian Feng, Barbara Nsiah)  Contingency software for autonomous systems, NASA at JPL (with “the other Ames”) Dept. of Computer Science Iowa State University Dept. of Computer Science Iowa State University 9 10 Andrew Miner: Research Overview Hridesh Rajan: Research Areas Performance and Reliability Analysis Joining ISU from U. Virginia in Fall 2005    High-level specification  Aspect-Oriented Programming • Stocastic Petri-Net – Modularization  Analyze performance, reliability – Structuring Tool Building  – EOS Project  Sensor Networks – Bandwidth and Power Optimization Dept. of Computer Science Iowa State University Dept. of Computer Science Iowa State University 11 12 3