메뉴 건너뛰기




Volumn , Issue , 2011, Pages 595-608

Product lines of theorems

Author keywords

Feature orientation; Mechanized metatheory; Product line verification

Indexed keywords

COQ PROOF ASSISTANT; CORE CALCULUS; FEATURE-ORIENTATION; META-THEORY; PRODUCT-LINES; PROOF ASSISTANT; PROOF DEVELOPMENT; PROOF OF CORRECTNESS; VERIFICATION TOOLS;

EID: 81455135765     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2048066.2048113     Document Type: Conference Paper
Times cited : (28)

References (30)
  • 1
    • 0023384389 scopus 로고
    • Frame-based software engineering
    • Paul Bassett. Frame-based software engineering. IEEE Software, 4(4), 1987.
    • (1987) IEEE Software , vol.4 , Issue.4
    • Bassett, P.1
  • 2
    • 55249084004 scopus 로고    scopus 로고
    • Modularizing theorems for software product lines: The jbook case study
    • D. Batory and E. Börger. Modularizing theorems for software product lines: The jbook case study. Journal of Universal Computer Science, 14(12):2059-2082, 2008.
    • (2008) Journal of Universal Computer Science , vol.14 , Issue.12 , pp. 2059-2082
    • Batory, D.1    Börger, E.2
  • 3
    • 0242719025 scopus 로고    scopus 로고
    • Objectoriented frameworks and product-lines
    • D. Batory, Rich Cardone, and Y. Smaragdakis. Objectoriented frameworks and product-lines. In SPLC, 2000.
    • (2000) SPLC
    • Batory, D.1    Cardone, R.2    Smaragdakis, Y.3
  • 4
    • 81455135818 scopus 로고    scopus 로고
    • Feature interactions, products, and composition
    • D. Batory, J. Kim, and P. Höfner. Feature interactions, products, and composition. In GPCE, 2011.
    • (2011) GPCE
    • Batory, D.1    Kim, J.2    Höfner, P.3
  • 6
    • 33646190894 scopus 로고    scopus 로고
    • Feature models, grammars, and propositional formulas
    • Don Batory. Feature models, grammars, and propositional formulas. Software Product Lines, pages 7-20, 2005.
    • (2005) Software Product Lines , pp. 7-20
    • Batory, D.1
  • 7
    • 0242719025 scopus 로고    scopus 로고
    • Objectoriented framework and product lines
    • Don Batory, Rich Cardone, and Yannis Smaragdakis. Objectoriented framework and product lines. In SPLC, pages 227- 247, 2000.
    • (2000) SPLC , pp. 227-247
    • Batory, D.1    Cardone, R.2    Smaragdakis, Y.3
  • 9
    • 34247875090 scopus 로고    scopus 로고
    • Proof reuse with extended inductive types
    • Olivier Boite. Proof reuse with extended inductive types. In Theorem Proving in Higher Order Logics, pages 50-65, 2004.
    • (2004) Theorem Proving in Higher Order Logics , pp. 50-65
    • Boite, O.1
  • 10
    • 77950884123 scopus 로고    scopus 로고
    • A verified compiler for an impure functional language
    • January
    • Adam Chlipala. A verified compiler for an impure functional language. In POPL 2010, January 2010.
    • (2010) POPL 2010
    • Chlipala, A.1
  • 12
    • 81455150392 scopus 로고    scopus 로고
    • Feature oriented programming. http://en.wikipedia.org/wiki/Feature- Oriented-Programming, 2008.
    • (2008) Feature Oriented Programming
  • 16
    • 67650088351 scopus 로고    scopus 로고
    • Formal verification of a realistic compiler
    • July
    • Xavier Leroy. Formal verification of a realistic compiler. Commun. ACM, 52:107-115, July 2009.
    • (2009) Commun. ACM , vol.52 , pp. 107-115
    • Leroy, X.1
  • 17
    • 0037351353 scopus 로고    scopus 로고
    • Tinkertype: A language for playing with formal systems
    • March, A preliminary version appeared as an invited paper at the Logical Frameworks and Metalanguages Workshop (LFM), June 2000
    • Michael Y. Levin and Benjamin C. Pierce. Tinkertype: A language for playing with formal systems. Journal of Functional Programming, 13(2), March 2003. A preliminary version appeared as an invited paper at the Logical Frameworks and Metalanguages Workshop (LFM), June 2000.
    • (2003) Journal of Functional Programming , vol.13 , Issue.2
    • Levin, M.Y.1    Pierce, B.C.2
  • 20
    • 2942572884 scopus 로고    scopus 로고
    • Modular structural operational semantics
    • Peter D. Mosses. Modular structural operational semantics. J. Log. Algebr. Program., 60-61:195-228, 2004.
    • (2004) J. Log. Algebr. Program. , vol.60-61 , pp. 195-228
    • Mosses, P.D.1
  • 22
    • 0021494931 scopus 로고
    • The draco approach to constructing software from reusable components
    • September
    • J. Neighbors. The draco approach to constructing software from reusable components. IEEE TSE, September 1984.
    • (1984) IEEE TSE
    • Neighbors, J.1
  • 23
    • 0016926766 scopus 로고
    • On the design and development of program families
    • March
    • D.L. Parnas. On the design and development of program families. IEEE TSE, SE-2(1):1 - 9, March 1976.
    • (1976) IEEE TSE , vol.SE-2 , Issue.1 , pp. 1-9
    • Parnas, D.L.1
  • 25
    • 33744649734 scopus 로고    scopus 로고
    • Mixin layers: An object- oriented implementation technique for refinements and collaboration-based designs
    • December
    • Y. Smaragdakis and D. Batory. Mixin Layers: An Object- Oriented Implementation Technique for Refinements and Collaboration-Based Designs. ACM TOSEM, December 2001.
    • (2001) ACM TOSEM
    • Smaragdakis, Y.1    Batory, D.2
  • 28
    • 42149112183 scopus 로고    scopus 로고
    • The Java module system: Core design and semantic definition
    • Rok Strnisa, Peter Sewell, and Matthew J. Parkinson. The Java module system: core design and semantic definition. In OOPSLA, pages 499-514, 2007.
    • (2007) OOPSLA , pp. 499-514
    • Strnisa, R.1    Sewell, P.2    Parkinson, M.J.3
  • 30
    • 0030422062 scopus 로고    scopus 로고
    • Decoupling change from design
    • October
    • Michael VanHilst and David Notkin. Decoupling change from design. SIGSOFT Softw. Eng. Notes, 21:58-69, October 1996.
    • (1996) SIGSOFT Softw. Eng. Notes , vol.21 , pp. 58-69
    • Vanhilst, M.1    Notkin, D.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.