| 讲座资料 |
|
|
|
| 专家文章 |
|
Preparation and Planning for ICSE 2006 (28th International Conference on Software Engineering)  |
|
|
| FLAVERS: A Finite State Verification Technique For Software Systems |
|
|
| Applying Real-Time Scheduling Techniques To Software Processes: A Position Paper |
|
|
| Containment Unites: A Hierarchically Composable Architecture For Adaptive Systems |
|
|
| Verifying Properties Of Process Definitions |
|
|
| Using Little-JIL To Coordinate Agents In Software Engineering |
|
|
| Little-JIL/Juliette: a process definition language and interpreter |
|
|
| Modeling Resources For Activity Coordination And Scheduling |
|
|
| Engineering Design Processes To Guide Process Execution |
|
|
| The Design Of A Next Generation Process Language |
|
|
| Determining The Quality Of Electronic Commerce Processes |
|
|
| Interprocedural Static Analysis Of Sequencing Constraints |
|
|
| Reasoning About Precise Process Definitions |
|
|
| The Right Algorithm At The Right Time: Comparing Data Flow Analysis Algorithms For Finite State Verification |
|
|
| Efficient Composite Data Flow Analysis Applied To Concurrent Programs |
|
|
| Applying Static Analysis To Software Architectures |
|
|
| Verification Of Communication Protocols Using Data Flow Analysis |
|
|
| A Proposed Testing and Analysis Research Initiative |
|
|
| Architecting Processes Are Key To Software Quality |
|
|
| Framework For Reasoning About Agent-Based Systems |
|
|
| Strategic Directions In Software Quality |
|
|
| An Anytime Approach To Analyzing Software Systems |
|
|
| Using Software Engineering To Engineer Processes |
|
|
| APPL/A: A Language For Software Process Programming |
|
|
| Experience With An Approach To Comparing Software Design Methodologies |
|
|
| Assuring Accuracy And Impartiality In Software Design Methodology Comparison |
|
|
| Software Processes Are Software Too, Revisited |
|
|
