Works matching IS 00985589 AND DT 2013 AND VI 39 AND IP 7
Results: 8
Embedding Polychrony into Synchrony.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 7, p. 917, doi. 10.1109/TSE.2012.85
- By:
- Publication type:
- Article
Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 7, p. 954, doi. 10.1109/TSE.2012.84
- By:
- Publication type:
- Article
Trends in the Quality of Human-Centric Software Engineering Experiments--A Quasi-Experiment.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 7, p. 1002, doi. 10.1109/TSE.2012.76
- By:
- Publication type:
- Article
EDZL Schedulability Analysis in Real-Time Multicore Scheduling.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 7, p. 910, doi. 10.1109/TSE.2012.75
- By:
- Publication type:
- Article
Amorphous Slicing of Extended Finite State Machines.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 7, p. 892, doi. 10.1109/TSE.2012.72
- By:
- Publication type:
- Article
Verifying Linearizability via Optimized Refinement Checking.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 7, p. 1018, doi. 10.1109/TSE.2012.82
- By:
- Publication type:
- Article
Pair Programming and Software Defects--A Large, Industrial Case Study.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 7, p. 930, doi. 10.1109/TSE.2012.68
- By:
- Publication type:
- Article
Synthesizing Modal Transition Systems from Triggered Scenarios.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 7, p. 975, doi. 10.1109/TSE.2012.62
- By:
- Publication type:
- Article