Registro:

Referencias:

• Abrial, J.-R., (1996) The B-Book: Assigning Programs to Meanings, , Cambridge University Press Cambridge
• Allen, R., Garlan, D., A formal basis for architectural connection (1997) ACM Trans. Softw. Eng. Methodol., 6, pp. 213-249. , 3
• Alrajeh, D., Russo, A., Uchitel, S., Deriving non-zeno behavior models from goal models using ILP (2008) Proceedings of the Fundamental Approaches to Software Engineering Conference
• Brandozzi, M., Perry, D.E., Transforming goal oriented requirement specifications into architectural prescriptions (2001) STRAW 2001: From Software Requirements to Architectures, pp. 54-60. , Castro, Kramer (eds.)
• Bernardo, M., Ciancarini, P., Donatiello, L., (2001) Architecting Software Systems with Process Algebras, , University of Bologna, UBLCS-2201-7, July
• The Second International Software Requirements to Architectures Workshop (STRAW'03) at ICSE'03 (2003), , Berry, D.M., Kazman, R., Wieringa, R. (eds.)
• Borgida, A., Mylopoulos, J., Reiter, R., On the frame problem in procedure specifications (1995) IEEE Trans. Softw. Eng., , October
• Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Tropos: An agent-oriented software development methodology (2004) Auton. Agents Multi-Agent Syst., 8, pp. 203-236. , 3
• The First International Workshop on from Software Requirements to Architectures (STRAW'01). at ICSE'01, , Castro, J., Kramer, J. (eds.)
• Castro, J., Kolp, M., Mylopoulos, J., Towards requirements-driven information systems engineering: The Tropos project (2002) Inf. Syst., 27, pp. 365-389. , 6
• Cheung, S.-C., Kramer, J., Checking safety properties using compositional reachability analysis (1999) ACM Trans. Softw. Eng. Methodol., 8, pp. 49-78. , 1
• Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J., (2000) Non-Functional Requirements in Software Engineering, , Kluwer Academic Dordrecht
• Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A., Nusmv version 2: An opensource tool for symbolic model checking (2002) Lecture Notes in Computer Science, 2404. , Int. Conf. on Computer-Aided Verification (CAV02), Denmark, July 2002. Springer, Berlin
• Courtois, P.-J., Parnas, D.L., Documentation for safety critical software (1993) Proc. ICSE'93: 15th Intl. Conf. on Software Engineering
• Damas, C., Lambeau, B., Van Lamsweerde, A., Scenarios, goals, and state machines: A win-win partnership for model synthesis (2006) SIGSOFT FSE, pp. 197-207
• Dardenne, A., Van Lamsweerde, A., Fickas, S., Goal-directed requirements acquisition (1993) Sci. Comput. Program., 20 (1-2), pp. 3-50. , 10.1016/0167-6423(93)90021G
• Darimont, R., Van Lamsweerde, A., Formal refinement patterns for goal-driven requirements elaboration (1996) Proc. FSE'4: 4th ACM Symp. on Foundations of Software Engineering, , October
• De Landtsheer, R., Letier, E., Van Lamsweerde, A., Deriving tabular event-based specifications from goal-oriented requirements models (2004) Requirements Eng. J., 9, pp. 104-120. , 2
• Fuxman, A., Liu, L., Mylopoulos, J., Roveri, M., Traverso, P., Specifying and analyzing early requirements in Tropos (2004) Requir. Eng., 9, pp. 132-150. , 2
• Giannakopoulou, D., Magee, J., Kramer, J., Checking progress with action priority: Is it fair? (1999) ESEC/SIGSOFT FSE 1999, pp. 511-527
• Giannakopoulou, D., Kramer, J., Cheung, S.-C., Behaviour analysis of distributed systems using the tracta approach (1999) Autom. Softw. Eng., 6, pp. 7-35. , 1
• Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) Proc. ESEC/FSE 2003, , Helsinki, Finland, September
• Giannakopoulou, D., Pasareanu, C.S., Cobleigh, J.M., Assume-guarantee verification of source code with design-level assumptions (2004) ICSE 2004, pp. 211-220
• Giannakopoulou, D., Pasareanu, C.S., Barringer, H., Component verification with automatically generated assumptions (2005) Autom. Softw. Eng., 12, pp. 297-320. , 3
• Gross, D., Yu, E.S.K., From non-functional requirements to design through patterns (2001) Requir. Eng. J., 6, pp. 18-36. , 1
• Heitmeyer, C., Jeffords, R.D., Labaw, B.G., Automated consistency checking of requirements specifications (1996) ACM Trans. Softw. Eng. Methodol., 5, pp. 231-260. , 3
• Heitmeyer, C., Kirkby, J., Labaw, B., Bharadwaj, R., SCR*: A toolset for specifying and analyzing software requirements (1998) Proc. CAV'98-10th Annual Conference on Computer-Aided Verification, pp. 526-531. , Vancouver
• Henzinger, T.A., It's about time: Real-time logics reviewed (1998) Lecture Notes in Computer Science, 1466, pp. 439-454. , Proc. 9th International Conference on Concurrency Theory (CONCUR) Springer Berlin
• Knight, J.C., Safety-critical systems: Challenges and directions (invited mini-tutorial) (2002) Proc. ICSE'2002: 24th International Conference on Software Engineering, pp. 547-550. , ACM New York
• Jackson, M., The world and the machine (1995) Proceedings of the 17th International Conference on Software Engineering, ICSE '95, pp. 283-292. , Seattle, Washington, United States, 24-28 April 1995. ACM, New York. doi: 10.1145/225014.225041
• Jackson, D., Automating first-order relational logic (2000) ACM SIGSOFT, Proc. Conf. Foundations of Software Engineering, , November
• Jani, D., Vanderveken, D., Perry, D.E., Deriving architecture specifications from KAOS specifications: A research case study (2005) Lecture Notes in Computer Science, 3527, pp. 185-202. , Proc. EWSA 2005, 2nd European Workshop on Software Architecture Springer Berlin
• Jones, C.B., (1986) Systematic Software Development Using VDM. Prentice-Hall International Series in Computer Science, , Englewood Cliffs Prentice Hall International
• Keller, R.M., Formal verification of parallel programs (1976) Commun. ACM, 19 (7), pp. 371-384. , 10.1145/360248.360251
• Kramer, J., Magee, J., Sloman, M., CONIC: An integrated approach to distributed computer control systems (1983) IEe Proc. Part e, 130, pp. 1-10. , 1
• Letier, E., (2001) Reasoning about Agents in Goal-oriented Requirements Engineering, , Phd thesis, Université Catholique de Louvain, Dépt. Ingénierie Informatique, Louvain-la-Neuve, Belgium, May
• Letier, E., Van Lamsweerde, A., Agent-based tactics for goal-oriented requirements elaboration (2002) Proc. ICSE'02: 24th Intl. Conf. on Software Engineering, , IEEE Press Orlando
• Letier, E., Van Lamsweerde, A., Deriving operational software specifications from system goals (2002) FSE'10: 10th ACM Symp. Foundations of Software Engineering, , Charleston, November
• Letier, E., Van Lamsweerde, A., Reasoning about partial goal satisfaction for requirements and design engineering (2004) Proceedings FSE 2004-12th International Symposium on the Foundation of Software Engineering, pp. 53-62. , ACM Newport Beach
• Letier, E., Kramer, J., Magee, J., Uchitel, S., Fluent temporal logic for discrete-time event-based models (2005) Proc. ESEC/FSE 2005, , Lisbon, September
• Leveson, N., (1995) Safeware: System Safety and Computers, , Addison-Wesley Reading
• Liu, L., Yu, E., From requirements to architectural design: Using goals and scenarios (2001) The First International Workshop from Software Requirements to Architectures (STRAW 01) at ICSE 2001, , Toronto, Canada, 14 May
• Magee, J., Kramer, J., (1999) Concurrency-State Models & Java Programs, , Chichester Wiley
• Magee, J., Pryce, N., Giannakopoulou, D., Kramer, J., Graphical animation of behavior models (2000) Proc. of the 22d International Conference on Software Engineering (ICSE' 2000), , Limerick, Ireland, June
• Magee, J., Dulay, N., Eisenbach, S., Kramer, J., Specifying distributed software architectures (1995) 5th European Software Engineering Conference (ESEC'95), pp. 137-153. , Sitges, Spain, September (1995)
• Manna, Z., Pnueli, A., (1992) The Temporal Logic of Reactive and Concurrent Systems: Specification, , Springer Berlin
• Mylopoulos, J., Goal-oriented requirements engineering, Part II (2006) Proceedings of RE'06, 14th IEEE Joint International Requirements Engineering Conference, p. 4. , Minneapolis, September (Invited Keynote Paper)
• Ng, K., Kramer, J., Magee, J., A CASE tool for software architecture design (1996) Autom. Softw. Eng., 3, pp. 261-284. , 34
• Nuseibeh, B., Weaving together requirements and architectures (2001) IEEE Comput., 34, pp. 115-117. , 2
• Ponsard, C., Massonet, P., Rifaut, A., Molderez, J.F., Van Lamsweerde, A., Tran Van, H., Early verification and validation of mission-critical system (2004) Proc. FMICS'04, 9th International Workshop on Formal Methods for Industrial Critical Systems, , Linz, Austria, September
• Roscoe, A.W., (1998) The Theory and Practice of Concurrency. Prentice Hall Series in Computer Science, , Prentice Hall London
• Tran Van, H., Van Lamsweerde, A., Massonet, P., Ponsard, C., Goal-oriented requirements animation (2004) Proc. 12th IEEE Joint International Requirements Engineering Conference, , Kyoto, September
• Van Lamsweerde, A., Requirements engineering in the year 00: A research perspective (2000) 22nd International Conference on Software Engineering, , ACM Limerick
• Van Lamsweerde, A., Goal-oriented requirements engineering: A guided tour (invited minitutorial) (2001) Proc. RE'01-5th Intl. Symp. Requirements Engineering, pp. 249-263. , Toronto, August
• Van Lamsweerde, A., Bernardo, M., Inverardi, P., From system goals to software architecture (2003) Lecture Notes in Computer Science, 2804, pp. 25-43. , Formal Methods for Software Architectures Springer Berlin
• Van Lamsweerde, A., Goal-oriented requirements engineering: A roundtrip from research to practice (2004) Proceedings of RE'04, 12th IEEE Joint International Requirements Engineering Conference, , Kyoto, 4-8 September
• Van Lamsweerde, A., Letier, E., Handling obstacles in goal-oriented requirements engineering (2000) IEEE Trans. Softw. Eng., Special Issue on Exception Handling, , October
• Van Lamsweerde, A., Letier, E., Wirswing, M., From object orientation to goal orientation: A paradigm shift for requirements engineering (2002) Radical Innovations of Software and Systems Engineering in the Futurence, pp. 325-340. , Springer Berlin
• Van Lamsweerde, A., Darimont, R., Letier, E., Managing conflicts in goal-driven requirements engineering (1998) IEEE Transactions Software Engineering, Special Issue on Managing Inconsistency in Software Development, , November
• Van Lamsweerde, A., Willemet, L., Inferring declarative requirements specifications from operational scenarios (1998) IEEE Trans. Softw. Eng., 24, pp. 1089-1114. , 12
• Woodcock, J., Davies, J., Using, Z., (1999) Specification, Refinement, and Proof. Prentice-Hall International Series in Computer Science, , Prentice Hall London

Citas:

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

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

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

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