Pete Sawyer
Planning Processing Requirements Engineering Service Oriented Architecture (SOA) Service-oriented Computing Unified Modeling Language (UML) business process conceptual modeling design optimization formal methods formal specification model checking model driven SE quality requirements security