arXiv 2005-03-02 EN Local and Global Analysis: Complementary Activities for Increasing the Effectiveness of Requirements Verification and Validation Lobo, Lester · Arthur, James D.
arXiv 2005-03-02 EN Effective Requirements Generation: Synchronizing Early Verification & Validation, Methods and Method Selection Criteria Lobo, Lester · Arthur, James D.
arXiv 2005-02-08 EN Testing Systems of Concurrent Black-boxes--an Automata-Theoretic and Decompositional Approach Xie, Gaoyan · Dang, Zhe
arXiv 2005-02-04 EN EPspectra: A Formal Toolkit for Developing DSP Software Applications Kim, Hahnsang · Turletti, Theirry · Bouali, Amar
arXiv 2005-01-24 EN Extending Design by Contract for Aspect-Oriented Programming Lorenz, David H. · Skotiniotis, Therapon
arXiv 2005-01-22 EN Under-approximation of the Greatest Fixpoint in Real-Time System Verification Wang, Farn
arXiv 2005-01-22 EN Under-approximation of the Greatest Fixpoints in Real-Time System Verification Wang, Farn
arXiv 2005-01-18 EN Enabling Agents to Dynamically Select Protocols for Interactions Aknine, Jose Ghislain Quenum Samir
arXiv 2004-11-29 EN Inter-Package Dependency Networks in Open-Source Software LaBelle, Nathan · Wallingford, Eugene
arXiv 2004-09-09 EN Using a hierarchy of Domain Specific Languages in complex software systems design Lugovsky, V. S.
arXiv 2004-08-19 EN On computing the fixpoint of a set of boolean equations Kuncak, Viktor · Leino, K. Rustan M.
arXiv 2004-06-16 EN Improving Prolog Programs: Refactoring for Prolog Schrijvers, Tom · Serebrenik, Alexander
arXiv 2004-06-16 EN Uncovering the epistemological and ontological assumptions of software designers King, David · Kimble, Chris
