Registro:

Referencias:

• Antonik, A., Huth, M., Larsen, K., Nyman, U., Wasowski, A.: EXPTIME-complete Decision Problems for Mixed and Modal Specifications. In: 15th International Workshop on Expressiveness in Concurrency (August 2008); Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wasowski, A., Complexity of decision problems for mixed and modal specifications (2008) LNCS, 4962, pp. 112-126. , Amadio, R.M, ed, FOS-SACS 2008, Springer, Heidelberg
• Bontemps, Y., Heymans, P., Schobbens, P.-Y., From live sequence charts to state machines and back: A guided tour (2005) IEEE Transactions on Software Engineering, 31 (12), pp. 999-1014
• Brunet, G., Chechik, M., Uchitel, S.: Properties of behavioural model merging. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, 4085, pp. 98-114. Springer, Heidelberg (2006); D'Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S., Mtsa: The modal transition system analyser (2008) 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE, pp. 475-476. , http://sourceforge.net/projects/mtsa, L'Aquila, Italy, September 15-19, pp, IEEE, Los Alamitos
• Fantechi, A., Gnesi, S., Formal modeling for product families engineering (2008) Proceedings of Software Product Lines, 12th International Conference, SPLC, pp. 193-202. , Limerick, Ireland, September 8-12, pp, IEEE Computer Society, Los Alamitos
• Fischbein, D., Braberman, V., Uchitel, S.: A sound observational semantics for modal transition systems. In: Leucker, M., Morgan, C. (eds.) ICTAC 2009. LNCS, 5684, pp. 215-230. Springer, Heidelberg (2009); Fischbein, D., Uchitel, S., On correct and complete strong merging of partial behaviour models (2008) Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 297-307. , Harrold, M.J, Murphy, G.C, eds, Atlanta, Georgia, USA, November 9-14, pp, ACM, New York
• Fischbein, D., Uchitel, S., Braberman, V.A.: A foundation for behavioural conformance in software product line architectures. In: Hierons, R.M., Muccini, H. (eds.) ROSATEA, pp. 39-48. ACM, New York (2006); Harel, D., Marelly, R., (2003) Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, , Springer, Heidelberg
• Huth, M., Refinement is complete for implementations (2005) Formal Aspects of Computing, 17 (2), pp. 113-137
• Hüttel, H., Larsen, K.G., The use of static constructs in a modal process logic (1989) LNCS, 363, pp. 163-180. , Meyer, A.R, Taitslin, M.A, eds, Logic at Botik 1989, Springer, Heidelberg
• Recommendation z, I.T.U., (2000) 120: Message sequence charts, , ITU
• Keller, R.M., (1976) Formal verification of parallel programs. Commun, , ACM
• Krka, I., Brun, Y., Edwards, G., Medvidovic, N.: Synthesizing partial component-level behavior models from system specifications. In: van Vliet, H., Issarny, V. (eds.) ESEC/SIGSOFT FSE, pp. 305-314. ACM, New York (2009); Larsen, K.G., Steffen, B., Weise, C., A constraint oriented proof methodology based on modal transition systems (1995) LNCS, 1019. , Brinksma, E, Steffen, B, Cleaveland, W.R, Larsen, K.G, Margaria, T, eds, TACAS 1995, Springer, Heidelberg
• Larsen, K.G., Thomsen, B., A modal process logic (1988) Proceedings, Third Annual Symposium on Logic in Computer Science, , Edinburgh, Scotland, UK, July 5-8. IEEE Computer Society, Los Alamitos
• Larsen, K.G., Xinxin, L., Equation solving using modal transition systems (1990) Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, pp. 108-117. , Philadelphia, Pennsylvania, USA, June 4-7, pp, IEEE Computer Society, Los Alamitos
• Letier, E., Kramer, J., Magee, J., Uchitel, S., Deriving event-based transition systems from goal-oriented requirements models (2008) Automated Software Engineering Journal, 15 (2), pp. 175-206
• Milner, R., (1989) Communication and Concurrency, , Prentice-Hall, New York
• Sibay, G., Uchitel, S., Braberman, V.A., Existential live sequence charts revisited (2008) 30th International Conference on Software Engineering (ICSE, pp. 41-50. , Schäfer, W, Dwyer, M.B, Gruhn, V, eds, Leipzig, Germany, May 10-18, pp, ACM, New York
• Uchitel, S., Brunet, G., Chechik, M., Synthesis of partial behavior models from properties and scenarios (2009) IEEE Transactions on Software Engineering, 35 (3), pp. 384-406
• Uchitel, S., Chechik, M., Merging partial behavioural models (2004) Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 43-52. , Taylor, R.N, Dwyer, M.B, eds, Newport Beach, CA, USA, October 31, November 6, pp, ACM, New York
• Uchitel, S., Kramer, J., Magee, J., Incremental Elaboration of Scenario-Based Specifications and Behaviour Models using Implied Scenarios (2004) ACM TOSEM, 13 (1)
• van Gabbeek, R.J., Weijland, W.P., Branching time and abstraction in bisimulation semantics (1996) J. ACM, 43 (3), pp. 555-600

Citas:

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

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

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

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