A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 9, p. 613
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2004 AND VI 30 AND IP 9
Results: 5
1
2
Evaluating Software Reuse Alternatives: A Model and Its Application to an Industrial Case Study.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 9, p. 601, doi. 10.1109/TSE.2004.50
- By:
- Publication type:
- Article
3
SPARTACAS: Automating Component Reuse and Adaptation.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 9, p. 587, doi. 10.1109/TSE.2004.53
- By:
- Publication type:
- Article
4
Predicting Source Code Changes by Mining Change History.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 9, p. 574, doi. 10.1109/TSE.2004.52
- By:
- Publication type:
- Article
5
Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 9, p. 561, doi. 10.1109/TSE.2004.51
- By:
- Publication type:
- Article