Registro:

Referencias:

• Alfonso, A., Braberman, V., Kicillof, N., Olivero, A., Visual timed event scenarios (2004) 6th ICSE'04, pp. 168-177
• Asteasuain, F., Braberman, V., Specification patterns can be formal and also easy (2010) Software Engineering and Knowledge Engineering (SEKE), pp. 430-436
• Autili, M., Inverardi, P., Pelliccione, P., Graphical scenarios for specifying temporal properties: An automated approach (2007) ASE, 14 (3), pp. 293-340
• Autili, M., Pelliccione, P., Towards a graphical tool for refining user to system requirements (2008) ENTCS, 211, pp. 147-157
• Braberman, V., Garbervestky, D., Kicillof, N., Monteverde, D., Olivero, A., Speeding up model checking of timed-models by combining scenario specialization and live component analysis (2009) FORMATS, , Springer
• Braberman, V., Kicillof, N., Olivero, A., A scenario-matching approach to the description and model checking of real-time properties (2005) IEEE TSE, 31 (12), pp. 1028-1041
• Clarke, E., Grumberg, O., Peled, D., (1999) Model Checking, , MIT Press
• Cobleigh, R., Avrunin, G., Clarke, L., User guidance for creating precise and accessible property specifications (2006) Proc. of 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, p. 218
• Dalal, S., Jain, A., Karunanithi, N., Leaton, J., Lott, C., Patton, G., Horowitz, B., Modelbased testing in practice (1999) ICSE, pp. 285-294
• Dillon, L., Kutty, G., Moser, L., Melliar-Smith, P., Ramakrishna, Y., A graphical interval logic for specifying concurrent systems (1994) ACM Trans. Software Engineering and Methodology, 3 (2), pp. 131-165
• D'Ippolito, N., Braberman, V., Piterman, N., Uchitel, S., Synthesis of live behaviour models (2010) Proc. of 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering
• Dwyer, M., Avrunin, G., Corbett, J., Specification Patterns Web Site, , http://patterns.projects.cis.ksu.edu/documentation/patterns.shtml
• Dwyer, M., Avrunin, G., Corbett, J., Patterns in property specifications for finitestate verification (1999) Proc. of 21st International Conference on Software Engineering (ICSE), 99
• Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) Proc. of 9th European Software Engineering Conference, p. 266
• Grohe, M., Schweikardt, N., The succinctness of first-order logic on linear orders (2004) Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 438-447
• Harel, D., Marelly, R., Playing with time: On the specification and execution of timeenriched LSCS MASCOTS '02, pp. 193-202
• Holzmann, G., The logic of bugs (2002) ACM Software Engineering Notes, 27 (6), pp. 81-87
• Konrad, S., Cheng, B., Real-time specification patterns (2005) Proc. of 27th ICSE, pp. 372-381
• Laroussinie, F., Markey, N., Schnoebelen, P., Temporal logic with forgettable past (2002) Proceedings of Symposium on Logic in Computer Science, pp. 383-392
• Leavens, G., Baker, A., Ruby, C., Preliminary design of JML: A behavioral interface specification language for Java (2006) ACM SIGSOFT Software Engineering Notes, 31 (3), pp. 1-38
• Manna, Z., Pnueli, A., A hierarchy of temporal properties (1987) Proc. of Ninth ACM PODC, pp. 205-205
• Manna, Z., Pnueli, A., Completing the temporal picture (1989) Automata, Languages and Programming, pp. 534-558
• Manna, Z., Pnueli, A., (1995) A Temporal Proof Methodology for Reactive Systems, , Springer-Verlag
• Markey, N., Temporal logic with past is exponentially more succinct (2003) EATCS Bull., 79, pp. 122-128
• Parnas, D., On the criteria to be used in decomposing systems into modules (1972) Commun. ACM, 15 (12), pp. 1053-1058
• Paun, D., Chechik, M., Events in linear-time properties (1999) Proc. of 4th International Conference on Requirements Engineering
• Piterman, N., Pnueli, A., Sa'ar, Y., Synthesis of reactive (1) designs (2006) Lecture Notes in Computer Science, 3855, pp. 364-380
• Pradella, M., San Pietro, P., Spoletini, P., Morzenti, A., Practical model checking of LTL with past (2003) ATVA03
• Viggers, K., Implementing protocols via declarative event patterns (2004) ACM Sigsoft International Symposium on FSE, pp. 158-169
• Sengupta, B., Cleaveland, R., Triggered message sequence charts (2002) SIGSOFT FSE, pp. 167-176
• Smith, M., Holzmann, G., Etessami, K., Events and constraints: A graphical editor for capturing logic requirements of programs (2001) Proc. of 5th IEEE RE, pp. 14-22
• Smith, R., Avrunin, G., Clarke, L., Osterweil, L., Propel: An approach supporting property elucidation (2002) ICSE, 24, pp. 11-21
• Uchitel, S., Kramer, J., Magee, J., Negative scenarios for implied scenario elicitation (2002) Proc. of FSE, pp. 109-118
• Utting, M., Legeard, B., (2007) Practical Model-based Testing: A Tools Approach, , Morgan Kaufmann
• Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L., Model-based testing of object-oriented reactive systems with spec explorer (2008) Formal Methods and Testing, pp. 39-76
• Wilke, T., CTL+ is exponentially more succinct than CTL (1999) Foundations of Software Technology and Theoretical Computer Science, pp. 110-121

Citas:

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

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

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

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