| Correctness enhancement: a pervasive software engineering paradigm. | 0 | 0.34 | 2020 |
| Programming Without Refining. | 0 | 0.34 | 2018 |
| Towards a DSPL for Context Aware BPM | 0 | 0.34 | 2017 |
| Computing attributes of software architectures a static method and its validation | 0 | 0.34 | 2015 |
| Automated quantitative attributes prediction from architectural description language | 0 | 0.34 | 2014 |
| Verifying while loops with invariant relations | 4 | 0.45 | 2014 |
| Invariant assertions, invariant relations, and invariant functions. | 12 | 0.68 | 2013 |
| ACME+ for Software Architecture Analysis. | 0 | 0.34 | 2013 |
| Architecture Level Prediction of Software Quality Attributes. | 0 | 0.34 | 2013 |
| Invariant functions and invariant relations: An alternative to invariant assertions | 4 | 0.39 | 2013 |
| ACME plus : An ADL for Quantitative Analysis of Quality Attributes | 0 | 0.34 | 2013 |
| A versatile concept for the analysis of loops. | 5 | 0.40 | 2012 |
| Invariant relations, invariant functions, and loop functions | 2 | 0.36 | 2012 |
| Computing preconditions and postconditions of while loops | 9 | 0.53 | 2011 |
| A Study of E-Government Architectures. | 1 | 0.44 | 2011 |
| Reasoning About Quantitative Architectural Attributes (Invited Paper). | 0 | 0.34 | 2011 |
| Reflexive transitive invariant relations: A basis for computing loop functions | 4 | 0.40 | 2010 |
| Towards an automated tool for computing loop functions | 0 | 0.34 | 2010 |
| A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. | 0 | 0.34 | 2010 |
| Using invariant functions and invariant relations to compute loop functions | 0 | 0.34 | 2010 |
| A model for analyzing architectural attributes | 0 | 0.34 | 2010 |
| Relational Methods in the Analysis of While Loops: Observations of Versatility | 0 | 0.34 | 2009 |
| A Software Cost Estimation Meta-model for Systematic Reuse Approaches | 0 | 0.34 | 2008 |
| Software Product Line Economics Revisited and Partial Validation | 0 | 0.34 | 2007 |
| Towards an Engineering Discipline of Computational Society | 0 | 0.34 | 2007 |
| Software Product Line Economics: a Survey | 0 | 0.34 | 2007 |
| SoCoEMo-COTS: A Software Economic Model for Commercial Off-the-shelf (COTS) Based Software Development. | 2 | 0.41 | 2006 |
| Modeling security as a dependability attribute: a refinement-based approach | 2 | 0.54 | 2006 |
| MoReCOTS: A Specialized Search Engine for COTS Components on the Web | 3 | 0.39 | 2006 |
| Towards a COTS-Based Development Environment | 4 | 0.51 | 2006 |
| A Software Cost Estimation Model for Product Line Engineering: SoCoEMo-PLE | 4 | 0.52 | 2005 |
| Cost estimation for product line engineering using COTS components | 9 | 0.52 | 2005 |
| Reuse: Case of a Software Cost Estimation Model for Product Line Engineering | 0 | 0.34 | 2005 |
| A Software Cost Estimation Model for a Product Line Engineering Approach: Supporting tool and UML Modeling | 2 | 0.40 | 2005 |
| Modeling COTS-Based Development and Related Selection Methods Processes with MAP | 0 | 0.34 | 2004 |
| COTS Characterization Model in a COTS-Based Development Environment | 12 | 0.87 | 2003 |
| Measures of Distances to Perform Approximate Retrieval | 0 | 0.34 | 1997 |
