Found: 21
Select item for more details and to access through your institution.
VPML: an approach to detect design patterns of MOF-based modeling languages.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 735, doi. 10.1007/s10270-013-0325-9
- By:
- Publication type:
- Article
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile.
- Published in:
- Software & Systems Modeling, 2011, v. 10, n. 3, p. 337, doi. 10.1007/s10270-010-0164-x
- By:
- Publication type:
- Article
A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems.
- Published in:
- Software & Systems Modeling, 2009, v. 8, n. 2, p. 275, doi. 10.1007/s10270-008-0099-7
- By:
- Publication type:
- Article
How consistency is handled in model-driven software engineering and UML: an expert opinion survey.
- Published in:
- Software Quality Journal, 2023, v. 31, n. 1, p. 1, doi. 10.1007/s11219-022-09585-2
- By:
- Publication type:
- Article
A systematic review of transformation approaches between user requirements and analysis models.
- Published in:
- Requirements Engineering, 2011, v. 16, n. 2, p. 75, doi. 10.1007/s00766-010-0111-y
- By:
- Publication type:
- Article
A systematic review of transformation approaches between user requirements and analysis models.
- Published in:
- Requirements Engineering, 2011, v. 16, n. 2, p. 75, doi. 10.1007/s00766-010-0111-y
- By:
- Publication type:
- Article
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 10, p. 971, doi. 10.1109/TSE.2014.2339829
- By:
- Publication type:
- Article
A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2012, v. 38, n. 2, p. 354, doi. 10.1109/TSE.2010.107
- By:
- Publication type:
- Article
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 2, p. 161, doi. 10.1109/TSE.2010.32
- By:
- Publication type:
- Article
Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms.
- Published in:
- IEEE Transactions on Software Engineering, 2010, v. 36, n. 6, p. 817, doi. 10.1109/TSE.2010.70
- By:
- Publication type:
- Article
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 9, p. 642, doi. 10.1109/TSE.2006.96
- By:
- Publication type:
- Article
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 608, doi. 10.1109/TSE.2006.83
- By:
- Publication type:
- Article
The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 6, p. 365, doi. 10.1109/TSE.2006.59
- By:
- Publication type:
- Article
An Experimental Investigation of Formality in UML-Based Development.
- Published in:
- IEEE Transactions on Software Engineering, 2005, v. 31, n. 10, p. 833, doi. 10.1109/TSE.2005.105
- By:
- Publication type:
- Article
Assessing and Improving State-Based Class Testing: A Series of Experiments.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 770, doi. 10.1109/TSE.2004.79
- By:
- Publication type:
- Article
An Investigation of Graph-Based Class Integration Test Order Strategies.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 7, p. 594, doi. 10.1109/TSE.2003.1214324
- By:
- Publication type:
- Article
Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 4, p. 371, doi. 10.1002/stvr.1572
- By:
- Publication type:
- Article
Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012).
- Published in:
- 2014
- By:
- Publication type:
- Editorial
Interface control document modeling with Citrus (avionics systems interfaces).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 2, p. 225, doi. 10.1007/s10009-022-00645-3
- By:
- Publication type:
- Article
A systematic review of state-based test tools.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 59, doi. 10.1007/s10009-013-0291-0
- By:
- Publication type:
- Article
Extending Category Partition's Base Choice criterion to better support constraints.
- Published in:
- Journal of Software: Evolution & Process, 2018, v. 30, n. 3, p. 1, doi. 10.1002/smr.1868
- By:
- Publication type:
- Article