Registro:

Referencias:

• Aceto, L., Ingólfsdóttir, A., Larsen, K., Srba, J., (2007) Reactive Systems: Modelling, Specification and Verification, , Cambridge University Press
• Alur, R., Henzinger, T., A really temporal logic (1994) J. ACM, 41 (1), pp. 181-203
• Bachmann, F., Bass, L., Nord, R., (2007) Modifiability Tactics, , Technical report CMU/SEI-2007-TR-002. Software Eng. Inst
• Baier, C., Katoen, J.P., (2008) Principles of Model Checking, , MIT Press
• Barbon, F., Traverso, P., Pistore, M., Trainotti, M., Run-time monitoring of instances and classes of web service compositions (2006) Proc. of ICWS'06, IEEE, pp. 63-71
• Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P., Validation of web service compositions (2007) Software, IET, pp. 219-232
• Bianculli, D., Ghezzi, C., San Pietro, P., The tale of SOLOIST: A specification language for service compositions interactions (2012) Proc. of FACS '12, pp. 55-72
• Clarke, E., Grumberg, O., Peled, D., (2000) Model Checking, , MIT Press
• (2015) Counting Fluent Linear Time Temporal Logic Experimental Results ICSE, , http://dc.exa.unrc.edu.ar/staff/gregis/ICSE2015
• Darimont, R., Van Lamsweerde, A., Formal refinement patterns for goal-driven requirements elaboration (1996) Proc. of FSE'96, ACM, pp. 179-190
• Diekert, V., Gastin, P., First-order definable languages (2008) Logic and Automata, pp. 261-306
• Dwyer, M., Avrunin, G., Corbett, J., Patterns in property specifications for finite-state verification (1999) Proc. of ICSE'99, ACM, pp. 411-420
• Erdem, E., Gabaldon, A., Representing action domains with numeric-valued fluents (2006) Logics in Artificial Intelligence, 4160, pp. 151-163
• Giannakopoulou, D., Magee, J., Fluent model checking for eventbased systems (2003) Proc. of ESEC/FSE'03, ACM, pp. 257-266
• Grohe, M., Schweikardt, N., The succinctness of first-order logic on linear orders (2005) Logical Methods in Computer Science, 41 (1)
• Hoare, C.A.R., (1985) Communicating Sequential Processes, , Prentice-Hall
• Kallel, S., Charfi, A., Dinkelaker, T., Mezini, M., Jmaiel, M., Specifying and monitoring temporal properties in web services compositions (2009) Proc. of ECOWS'09, IEEE, pp. 148-157
• Kamp, H.W., (1968) Tense Logic and the Theory of Linear Order, , PhD thesis, University of California, USA
• http://sourceforge.net/projects/cf-ltsa/, Labelled Transition System Analyser with Counting Fluents Support; Van Lamsweerde, A., Dardeene, A., Delcourt, D., Dubisy, F., The KAOS project: Knowledge acquisition in automated specification of software (1991) Proc. of AAAI Spring Symposium Series Track: "Design of Composite Systems, pp. 59-62. , Stanford University
• Laroussinie, F., Meyer, A., Petonnet, E., Counting LTL (2010) Proc. TIME '10, IEEE, pp. 51-58
• Laroussinie, F., Meyer, A., Petonnet, E., Counting CTL (2010) Proc. FOSSACS '10, LNCS, 6014, pp. 206-220
• Lee, J., Lifschitz, V., Describing additive fluents in action language C+ (2003) Proc. IJCAI '03, pp. 1079-1084
• Letier, E., Kramer, J., Magee, J., Uchitel, S., Fluent temporal logic for discrete-time event-based models (2005) Proc. of ESEC/FSE'05, ACM, pp. 70-79
• Li, Z., Han, J., Jin, Y., Pattern-based specification and validation of web services interaction properties (2005) Proc. of ICSOC'05, LNCS, pp. 73-86
• Magee, J., Kramer, J., (1999) Concurrency: State Models and Java Programs, , John Wiley & Sons
• Manna, Z., Pnueli, A., (1991) The Temporal Logic of Reactive and Concurrent Systems Specification, , Springer
• Manna, Z., Pnueli, A., (1995) Temporal Verification of Reactive Systems-Safety, , Springer
• Medvidovic, N., Taylor, R., A classification and comparison framework for software architecture description languages (2000) IEEE Transactions on Software Engineering, 26 (1). , IEEE
• Miller, R., Shanahan, M., The event calculus in classical logic -alternative axiomatisations (1999) Linkoping Electronic Articles in Computer and Information Science, 4 (16), pp. 1-27
• Milner, R., (1989) Communication and Concurrency, , Prentice-Hall
• Pradella, M., Morzenti, A., San Pietro, P., The symmetry of the past and of the future: Bi-infinite time in the verification of temporal properties (2007) Proc. of ESEC-FSE '07, pp. 312-320
• Tanenbaum, A., Wetherall, D., (2010) Computer Networks, , Prentice-Hall
• Uchitel, S., Kramer, J., Magee, J., Synthesis of behavioral models from scenarios (2003) Proc. of IEEE Transactions on Software Engineering, 29, pp. 99-115A4 - Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)

Citas:

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

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

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

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