A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 3, p. 292, doi. 10.1109/TSE.2012.42
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2013 AND VI 39 AND IP 3
Results: 8
1
2
Elaborating Requirements Using Model Checking and Inductive Learning.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 3, p. 361, doi. 10.1109/TSE.2012.41
- By:
- Publication type:
- Article
3
Coordination Breakdowns and Their Impact on Development Productivity and Software Failures.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 3, p. 343, doi. 10.1109/TSE.2012.32
- By:
- Publication type:
- Article
4
Resource Management for Complex, Dynamic Environments.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 3, p. 384, doi. 10.1109/TSE.2012.31
- By:
- Publication type:
- Article
5
Self-Organizing Roles on Agile Software Development Teams.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 3, p. 422, doi. 10.1109/TSE.2012.30
- By:
- Publication type:
- Article
6
Self-Management of Adaptable Component-Based Applications.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 3, p. 403, doi. 10.1109/TSE.2012.29
- By:
- Publication type:
- Article
7
Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements: Results from a Family of Five Experiments.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 3, p. 327, doi. 10.1109/TSE.2012.27
- By:
- Publication type:
- Article
8
Alloy Meets the Algebra of Programming: A Case Study.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 3, p. 305, doi. 10.1109/TSE.2012.15
- By:
- Publication type:
- Article