Registro:

Referencias:

• Bertolino, A., Gnesi, S., Use Case-Based Testing of Product Lines (2003) Proceedings of the 9th European Software Engineering Conference held jointly with the 10th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE), pp. 355-358. , Sept
• Bosch, J., (2000) Design and use of software architectures: Adopting and evolving a product-line approach, , ACM Press/Addison-Wesley Publishing Co, New York, NY, USA
• Brunet, G., A Characterization of Merging Partial Behavioural Models (2006), Master's thesis, Univ. of Toronto, January; Brunet, G., Chechik, M., Uchitel, S., (2006) Properties of Behavioural Model Merging, , formal methods, hamilton, Ontario canada
• Bruns, G., Godefroid, P., Model Checking Partial State Spaces with 3-Valued Temporal Logics (1999) LNCS, 1633, pp. 274-287. , CAV'99, of
• Clarke, E., Wing, J., Formal Methods: State of the Art and Future Directions (1996) ACM Computing Surveys, 28 (4), pp. 626-643. , December
• Cleaveland, R., Hennessy, M., Testing equivalence as a bisimulation equivalence (1993) Formal Asp. Comput, 5 (1), pp. 1-20
• Clements, P., Northrop, L., (2002) Software Product Lines: Practices and Patterns, , Addison-Wesley Professional, Boston, MA, USA
• Dams, D., (1996) Abstract Interpretation and Partition Refinement for Model Checking, , PhD thesis, Eindhoven University of Technology, The Netherlands, July
• Dovier, A., Piazza, C., Policriti, A., A fast bisimulation algorithm (2001) CAV, pp. 79-90
• Fischbein, D., (2006) Branching semantics for modal transition systems, , Master's thesis, University of Buenos Aires, Department of Computing, April
• Garg, A., Critchlow, M., Chen, P., der Westhuizen, C.V., van der, A., Hoek. An environment for managing evolving product line architectures (2003) International Conference on Software Maintenance, pp. 358-367
• Garlan, D., Monroe, R.T., Wile, D., Acme: Architectural description of component-based systems (2000) Foundations of Component-Based Systems, pp. 47-68. , G. T. Leavens and M. Sitaraman, editors, Cambridge University Press
• Garlan, D., Perry, D.E., Introduction to the special issue on software architecture (1995) IEEE Trans. Softw. Eng, 21 (4), pp. 269-274
• Glabbeek, R.V., What is branching time semantics and why to use it? (1994) Bulletin of the EATCS, 53, pp. 190-198. , M. Nielsen, editor, The Concurrency Column
• Hennessy, M., Milner, R., Algebraic laws for nondeterminism and concurrency (1985) J. ACM, 32 (1), pp. 137-161
• Huth, M., Model-Checking Modal Transition Systems Using Kripke Structures (2002) Proceedings of Third International Workshop on Verification, Model-Checking, and Abstract Interpretation, , Venice, Italy, January
• Huth, M., Refinement is complete for implementations (2005) Formal Asp. Comput, 17 (2), pp. 113-137
• Huth, M., Jagadeesan, R., Schmidt, D.A., Modal Transition Systems: A Foundation for Three-Valued Program Analysis (2001) LNCS, 2028, pp. 155-169. , ESOP'01, of
• Jackson, M., (1995) Software requirements & specifications: A lexicon of practice, principles and prejudices, , ACM Press/Addison-Wesley Publishing Co, New York, NY, USA
• Jazayeri, M., Ran, A., van der Linden, F., (2000) Software architecture for product families: Principles and practice, , Addison-Wesley Longman Publishing Co, Inc, Boston, MA, USA
• Kamsties, E., Pohl, K., Reis, S., Reuys, A., Testing Variabilities in Use Case Models (2003) International Workshop on Product Family Engineering (PFE)
• Keller, R.M., Formal verification of parallel programs (1976) Commun. ACM, 19 (7), pp. 371-384
• Larsen, K., Thomsen, B., A Modal Process Logic (1988) LICS'88, pp. 203-210
• Larsen, K., Xinxin, L., Equation Solving Using Modal Transition Systems (1990) 5th Annual IEEE Symposium on Logic in Computer Science, pp. 108-117
• Magee, J., Kramer, J., (1999) Concurrency: State models & Java programs, , John Wiley & Sons, Inc, New York, NY, USA
• McGregor, J.D., Testing a Software Product Line. Technical Report CMU/SEI-2001-TR-022, Software Engineering Institute, Carnegie Mellon University (2001), Dec; Milner, R., A modal characterisation of observable machine-behaviour (1981) CAAP '81: Proceedings of the 6th Colloquium on Trees in Algebra and Programming, pp. 25-34. , London, UK, Springer-Verlag
• Muccini, H., Bucchiarone, A., Formal behavioral specification of a product line architecture (2004) Technical Report TRCS, , 014/2004, University of L'Aquila
• Nebut, C., Fleurey, F., Traon, Y.L., Jézéquel, J.-M., A Requirement-based Approach to Test Product Families (2003) International Workshop on Product Family Engineering (PFE)
• Perry, D.E., Wolf, A.L., Foundations for the study of software architecture (1992) SIGSOFT Softw. Eng. Notes, 17 (4), pp. 40-52
• Schneider, S., Schneider, S.A., (1999) Concurrent and Real Time Systems: The CSP Approach, , John Wiley & Sons, Inc, New York, NY, USA
• Uchitel, S., Kramer, J., Magee, J., Behaviour Model Elaboration using Partial Labelled Transition Systems (2003) ESEC/FSE'03, pp. 19-27
• van Gabbeek, R.J., Weijland, W.P., Branching time and abstraction in bisimulation semantics (1996) J. ACM, 43 (3), pp. 555-600
• van Ommering, R., van der Linden, F., Kramer, J., Magee, J., The koala component model for consumer electronics software (2000) Computer, 33 (3), pp. 78-85
• Ziadi, T., Hélouët, L., Jézéquel, J.-M., Modeling Behaviors in Product Lines (2002) International Workshop on Requirements Engineering for Product Lines (REPL), pp. 33-38. , SeptA4 - ACM Special Interest Group on Software Engineering

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------