E. Letier and A. van Lamsweerde. Deriving operational software specifications from system goals. 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
From Object Orientation to Goal Orientation: A Paradigm.. - van Lamsweerde, Letier (2003) Self-citation (Letier Van lamsweerde) (Correct)
No context found.
E. Letier and A. van Lamsweerde, "Deriving Operational Software Specifications from System Goals", Proc. FSE'10: 10th ACM SIGSOFT Symp. on the Foundations of Software Engineering, Charleston, November 2002.
From System Goals to Intruder Anti-Goals: Attack.. - van Lamsweerde.. (2003) Self-citation (Van lamsweerde) (Correct)
No context found.
E. Letier and A. van Lamsweerde, "Deriving Operational Software Specifications from System Goals", Proc. FSE'10: 10 ACM SIGSOFT Symp. on the Foundations of Software Engineering, Charleston, November 2002.
Deriving Tabular Event-Based Specifications from.. - De Landtsheer.. (2003) (1 citation) Self-citation (Letier Van lamsweerde) (Correct)
No context found.
E. Letier and A. van Lamsweerde, "Deriving Operational Software Specifications from System Goals", Proc. FSE'10: 10 ACM Symp. Foundations of Software Engineering , Charleston, November 2002.
From Object Orientation to Goal Orientation: A Paradigm.. - van Lamsweerde, Letier Self-citation (Letier Van lamsweerde) (Correct)
No context found.
E. Letier and A. van Lamsweerde, "Deriving Operational Software Specifications from System Goals", Proc. FSE'10: 10th ACM SIGSOFT Symp. on the Foundations of Software Engineering, Charleston, November 2002.
High Assurance Requires Goal Orientation - Letier, van Lamsweerde (2002) Self-citation (Letier Van lamsweerde) (Correct)
.... in the environment that may prevent critical goals from being achieved can be identified and resolved to produce more robust requirements [Lam00a] the goals can be specified precisely and refined incrementally into operational software specifications that provably assure the higher level goals [Dar96, Let02a, Let02b]. This paper does not describe new research results per se. Our aim here is to illustrate the relevance and benefits of explicitly modeling and reasoning about multiple goals at various levels of abstraction in the specific context of high assurance systems. We show how our goal oriented ....
....by the software, the pre and postcondition describing these services in the domain, and strengthened conditions ensuring that the underlying goals from the goal model are met by the services. A catalog of formal operationalization patterns is available to support the operationalization step [Let01, Let02b]. For example, the Immediate Achieve pattern is shown in Fig. 5. COT fOperatio. fOperatio. Op2 (Domnre T Domnre T DomPo,tT DmP t TMT , ReqPre for RootGoal: J ReqTrigcfOr RootGoa Figure 5: The Immediate Achieve pattern Consider for example the goal Maintain ....
[Article contains additional citation context not shown here]
E. Letier and A. van Lamsweerde, "Deriving Operational Software Specifications from System Goals", Proc. FSE'10: 10th ACM S1GSOFT Symp. on the Foundations of Software Engineering, Charleston, November 2002.
Problem Frame Transformations: - Deriving Specifications From (2006) (Correct)
No context found.
E. Letier and A. van Lamsweerde. Deriving operational software specifications from system goals. 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC