Cover3.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. c3, doi. 10.1109/TSE.2011.15
- Publication type:
- Article
Works matching IS 00985589 AND DT 2011 AND VI 37 AND IP 1
Results: 15
1
2
Cover4.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. c4, doi. 10.1109/TSE.2011.16
- Publication type:
- Article
3
2010 Annual Index.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. N.PAG, doi. 10.1109/TSE.2011.11
- Publication type:
- Article
4
From UML to Petri Nets: The PCM-Based Methodology.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 65, doi. 10.1109/TSE.2010.10
- By:
- Publication type:
- Article
5
2010 Reviewers List.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 142, doi. 10.1109/TSE.2011.12
- Publication type:
- Article
6
Genetic Algorithms for Randomized Unit Testing.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 80, doi. 10.1109/TSE.2010.46
- By:
- Publication type:
- Article
7
Editorial: State of the Journal.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 1, doi. 10.1109/TSE.2011.17
- By:
- Publication type:
- Article
8
Cover2.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. c2, doi. 10.1109/TSE.2011.14
- Publication type:
- Article
9
Cover1.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. c1, doi. 10.1109/TSE.2011.13
- Publication type:
- Article
10
Verifying the Evolution of Probability Distributions Governed by a DTMC.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 126, doi. 10.1109/TSE.2010.80
- By:
- Publication type:
- Article
11
Bristlecone: Language Support for Robust Software Applications.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 4, doi. 10.1109/TSE.2010.27
- By:
- Publication type:
- Article
12
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 109, doi. 10.1109/TSE.2010.23
- By:
- Publication type:
- Article
13
Plat_Forms: A Web Development Platform Comparison by an Exploratory Experiment Searching for Emergent Platform Properties.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 95, doi. 10.1109/TSE.2010.22
- By:
- Publication type:
- Article
14
Deriving a Slicing Algorithm via FermaT Transformations.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 24, doi. 10.1109/TSE.2010.13
- By:
- Publication type:
- Article
15
Developing a Single Model and Test Prioritization Strategies for Event-Driven Software.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 48, doi. 10.1109/TSE.2010.12
- By:
- Publication type:
- Article