First Page | Document Content | |
---|---|---|
Date: 2016-06-09 08:09:34Software engineering Computing Software requirements Modeling languages Systems engineering Systems analysis Enterprise modelling KAOS Planning Domain Definition Language I* Diagram Use case | Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231Add to Reading ListSource URL: icaps16.icaps-conference.orgDownload Document from Source WebsiteFile Size: 250,57 KBShare Document on Facebook |
Time-Bounded Analysis of RealTime Systems Sagar Chaki1, Arie Gurfinkel1, Ofer Strichman2, Soonho Kong1 1SoftwareDocID: 1xVgX - View Document | |
A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex HaldermanDocID: 1xVf4 - View Document | |
AVACS* Automatic Verification and Analysis of Complex Systems Werner Damm AVACS coordinatorDocID: 1xUP7 - View Document | |
Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1DocID: 1xUHI - View Document | |
Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS)DocID: 1xUG5 - View Document |