-
1
-
-
55249105720
-
-
[Albahari 2001] Albahari, B., Drayton, P., Merril, B.: C# Essentials. O'Reilly and Associates, 2001.
-
[Albahari 2001] Albahari, B., Drayton, P., Merril, B.: C# Essentials. O'Reilly and Associates, 2001.
-
-
-
-
2
-
-
1942420162
-
A Trustworthy Proof Checker
-
Appel 2003
-
[Appel 2003] Appel, A., Michael, N., Strump, A., Virga, R.: "A Trustworthy Proof Checker", J. of Automated Reasoning, 2003.
-
(2003)
J. of Automated Reasoning
-
-
Appel, A.1
Michael, N.2
Strump, A.3
Virga, R.4
-
3
-
-
0000219918
-
The Design and Implementation of Hierarchical Software Systems with Reusable Components
-
Batory 1992, October
-
[Batory 1992] Batory, D., O'Malley, S.: "The Design and Implementation of Hierarchical Software Systems with Reusable Components". ACM TOSEM, October 1992.
-
(1992)
ACM TOSEM
-
-
Batory, D.1
O'Malley, S.2
-
4
-
-
0031675048
-
JTS: Tools for Implementing Domain-Specific Languages
-
Batory 1998
-
[Batory 1998] Batory, D., B. Lofaso, B., Smaragdakis, Y.: "JTS: Tools for Implementing Domain-Specific Languages". ICSR 1998.
-
ICSR 1998
-
-
Batory, D.B.1
Lofaso, B.2
Smaragdakis, Y.3
-
5
-
-
3042619799
-
Scaling Step-Wise Refinement
-
Batory 2004, June
-
[Batory 2004] Batory, D., Sarvela, J., Rauschmayer, A.: "Scaling Step-Wise Refinement". IEEE TSE, June 2004.
-
(2004)
IEEE TSE
-
-
Batory, D.1
Sarvela, J.2
Rauschmayer, A.3
-
6
-
-
33751568403
-
Feature Models, Grammars, and Propositional Formulas
-
Batory 2005
-
[Batory 2005] Batory, D.: "Feature Models, Grammars, and Propositional Formulas". SPLC 2005.
-
SPLC 2005
-
-
Batory, D.1
-
7
-
-
15844377109
-
Parameterized Interfaces for Open System Verification of Product Lines
-
Blundell 2004
-
[Blundell 2004] Blundell, C., Fisler, K., Krishnamurthi, S., van Hentrenrck, P.: "Parameterized Interfaces for Open System Verification of Product Lines". ASE 2004.
-
ASE 2004
-
-
Blundell, C.1
Fisler, K.2
Krishnamurthi, S.3
van Hentrenrck, P.4
-
8
-
-
84867461458
-
-
BMW 2007] BMW
-
[BMW 2007] BMW: www.bmwusa.com
-
-
-
-
9
-
-
84978712889
-
The WAM - Definition and Compiler Correctness
-
Börger 1995, North-Holland
-
[Börger 1995] Börger, E., Rosenzweig, D.: "The WAM - Definition and Compiler Correctness". In Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence, 11, North-Holland, 1995
-
(1995)
Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence
, pp. 11
-
-
Börger, E.1
Rosenzweig, D.2
-
10
-
-
35248875703
-
Initialization Problems for Java
-
Börger 1999
-
[Börger 1999] Börger, E., Schulte, W.: "Initialization Problems for Java". Software - Concepts & Tools, 20(4), 1999.
-
(1999)
Software - Concepts & Tools
, vol.20
, Issue.4
-
-
Börger, E.1
Schulte, W.2
-
11
-
-
84974658162
-
Composition and Submachine Concepts for Sequential ASMs
-
Börger 2000
-
[Börger 2000] Börger, E., and Schmidt, J.: "Composition and Submachine Concepts for Sequential ASMs". CSL 2000.
-
CSL 2000
-
-
Börger, E.1
Schmidt, J.2
-
12
-
-
84867468420
-
-
[Börger and Stärk 2003] E. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, 2003.
-
[Börger and Stärk 2003] E. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, 2003.
-
-
-
-
14
-
-
35048871045
-
-
[Börger 2004] Börger, E., Stärk, R.: Exploiting Abstraction for Specification Reuse. The Java/C# Case Study, in Formal Methods for Components and Objects: Second International Symposium (FMCO 2003 Leiden), 42-76, 2004.
-
[Börger 2004] Börger, E., Stärk, R.: "Exploiting Abstraction for Specification Reuse. The Java/C# Case Study", in Formal Methods for Components and Objects: Second International Symposium (FMCO 2003 Leiden), 42-76, 2004.
-
-
-
-
15
-
-
18144372034
-
A High-Level Modular Definition of the Semantics of C#
-
Börger 2005, Computer Science
-
[Börger 2005] Börger, E., Fruja, G., Gervasi, V., and Stärk, R.: "A High-Level Modular Definition of the Semantics of C#". Theoretical Computer Science, Vol. 336 #2-3, 2005.
-
(2005)
Theoretical
, vol.336
, Issue.2-3
-
-
Börger, E.1
Fruja, G.2
Gervasi, V.3
Stärk, R.4
-
16
-
-
0037437627
-
Feature Interaction: A Critical Review and Considered Forecast
-
Calder 2003
-
[Calder 2003] Calder, M., Kolberg, M., Magill, E., Reiff-Marganiec, S.: "Feature Interaction: A Critical Review and Considered Forecast", Computer Networks, #41, 2003.
-
(2003)
Computer Networks
, Issue.41
-
-
Calder, M.1
Kolberg, M.2
Magill, E.3
Reiff-Marganiec, S.4
-
17
-
-
0004014411
-
-
Czarnecki 2000, Addison-Wesley, Boston, MA
-
[Czarnecki 2000] Czarnecki, K. and Eisenecker, U.: Generative Programming Methods, Tools, and Applications. Addison-Wesley, Boston, MA, 2000.
-
(2000)
Generative Programming Methods, Tools, and Applications
-
-
Czarnecki, K.1
Eisenecker, U.2
-
18
-
-
34547477639
-
Verification of Feature-Based Model Templates Against Well-Formedness OCL Constraints
-
Czarnecki 2006
-
[Czarnecki 2006] Czarnecki, K., Pietroszek, K.: "Verification of Feature-Based Model Templates Against Well-Formedness OCL Constraints". GPCE 2006.
-
GPCE 2006
-
-
Czarnecki, K.1
Pietroszek, K.2
-
19
-
-
84867460309
-
-
Dell 2007
-
[Dell 2007] Dell Computers: www.dell.com
-
Computers
-
-
-
20
-
-
33646396761
-
-
[Fruja and Börger 2006] Fruja, N., Börger, E.: Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. Journal of Object Technology, 5#3, 2006.
-
[Fruja and Börger 2006] Fruja, N., Börger, E.: "Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis". Journal of Object Technology, Vol. 5#3, 2006.
-
-
-
-
21
-
-
55249093896
-
ASM 2004
-
Fruja 2004
-
[Fruja 2004] Fruja, N.: "Specification and Implementation Problems for C#". ASM 2004.
-
-
-
Fruja, N.1
-
22
-
-
84867482986
-
-
[Fruja and Börger 2006] Fruja, N.: Type Safety of C# and .NET CLR, Ph.D. Thesis, ETH Zurich, 2006.
-
[Fruja and Börger 2006] Fruja, N.: "Type Safety of C# and .NET CLR", Ph.D. Thesis, ETH Zurich, 2006.
-
-
-
-
24
-
-
55249103659
-
-
[Goerigk 1996] Goerigk, W., et al.: Compiler Correctness and Implementation Verification: The Verifix Approach, Int. Conf. on Compiler Construction, Proc. Poster Session of CC 1996.
-
[Goerigk 1996] Goerigk, W., et al.: "Compiler Correctness and Implementation Verification: The Verifix Approach", Int. Conf. on Compiler Construction, Proc. Poster Session of CC 1996.
-
-
-
-
25
-
-
55249089467
-
SDL Profiles - Formal Semantics and Tool Support
-
Grammes 2007
-
[Grammes 2007] Grammes, R., Gotzhein, R.: "SDL Profiles - Formal Semantics and Tool Support". FASE 2007.
-
FASE 200
, pp. 7
-
-
Grammes, R.1
Gotzhein, R.2
-
26
-
-
84867461456
-
-
Hoare 2005, October
-
[Hoare 2005] Hoare, T., Misra, J., Shankar, N.: "The IFIP Working Conference on Verified Software: Theories, Tools, Experiments". vstte.ethz.ch/report.html, October 2005.
-
(2005)
The IFIP Working Conference on Verified Software: Theories, Tools, Experiments
-
-
Hoare, T.1
Misra, J.2
Shankar, N.3
-
27
-
-
55249087659
-
Sealing OS Processes to Improve Dependability and Security
-
Hunt 2006, MSR-TR-2005-135, April 2006
-
[Hunt 2006] Hunt, G., et al.: "Sealing OS Processes to Improve Dependability and Security". Microsoft Research Technical Report MSR-TR-2005-135, April 2006.
-
Microsoft Research Technical Report
-
-
Hunt, G.1
-
28
-
-
84867438075
-
-
Java 2008
-
[Java 2008] Java Card Language Specs: java.sun.com/products/javacard/ specs.html
-
Language Specs
-
-
Java Card1
-
29
-
-
33845923686
-
Verified Software: A Grand Challenge
-
Jones 2006, April
-
[Jones 2006] Jones, C., O'Hearn, P., Woodcock, J.: "Verified Software: A Grand Challenge". IEEE Computer, April 2006.
-
(2006)
IEEE Computer
-
-
Jones, C.1
O'Hearn, P.2
Woodcock, J.3
-
30
-
-
42549128483
-
A Case Study Implementing Features Using AspectJ
-
Kästner 2007
-
[Kästner 2007] Kästner, C., Apel, S., Batory, D.: "A Case Study Implementing Features Using AspectJ", SPLC 2007.
-
(2007)
SPLC
-
-
Kästner, C.1
Apel, S.2
Batory, D.3
-
31
-
-
0004134138
-
-
Kiczales 1991, MIT Press
-
[Kiczales 1991] Kiczales, G., des Rivieres, J., Bobrow, D.: The Art of the Metaobject Protocol. MIT Press, 1991.
-
(1991)
The Art of the Metaobject Protocol
-
-
Kiczales, G.1
des Rivieres, J.2
Bobrow, D.3
-
32
-
-
55249125010
-
-
[Krishnamurthi 2001] Krishnamurthi, S., Fisler, K.: Modular Verification of Collaboration-Based Software Designs. FSE 2001.
-
[Krishnamurthi 2001] Krishnamurthi, S., Fisler, K.: "Modular Verification of Collaboration-Based Software Designs". FSE 2001.
-
-
-
-
33
-
-
20344364673
-
-
[Krishnamurthi 2004] Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying Aspect Advice Modularly. ACM SIGSOFT 2004.
-
[Krishnamurthi 2004] Krishnamurthi, S., Fisler, K., Greenberg, M.: "Verifying Aspect Advice Modularly". ACM SIGSOFT 2004.
-
-
-
-
35
-
-
34247156995
-
Feature Oriented Refactoring of Legacy Applications
-
Liu 2006
-
[Liu 2006] Liu, J., Batory, D., Lengauer, C.: "Feature Oriented Refactoring of Legacy Applications", ICSE 2006.
-
ICSE 2006
-
-
Liu, J.1
Batory, D.2
Lengauer, C.3
-
36
-
-
84892351987
-
-
[Pohn 2005] Pohl, K., Bockle, G., v.d. Linden, F.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer 2005.
-
[Pohn 2005] Pohl, K., Bockle, G., v.d. Linden, F.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer 2005.
-
-
-
-
37
-
-
0842339459
-
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
-
Schellhorn 1998, Kluwer Academic Publishers
-
[Schellhorn 1998] Schellhorn, G., Ahrendt, W.: "The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV", Automated Deduction - A Basis for Applications III, Kluwer Academic Publishers, 1998.
-
(1998)
Automated Deduction - A Basis for Applications III
-
-
Schellhorn, G.1
Ahrendt, W.2
-
38
-
-
0003911748
-
Verification of Abstract State Machines
-
Schellhorn 1998, Ph.D. Thesis, University of Ulm
-
[Schellhorn 1998] Schellhorn, G.: "Verification of Abstract State Machines", Ph.D. Thesis, University of Ulm, 1999.
-
(1999)
-
-
Schellhorn, G.1
-
39
-
-
37549040828
-
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. Dagstuhl Seminar on Rigorous Methods for Software Construction and Analysis
-
Schellhorn 2007, to appear
-
[Schellhorn 2007] Schellhorn, G. et al.: "A Systematic Verification Approach for Mondex Electronic Purses Using ASMs". Dagstuhl Seminar on Rigorous Methods for Software Construction and Analysis. LNCS 2007 (to appear).
-
(2007)
LNCS
-
-
Schellhorn, G.1
-
40
-
-
84857565344
-
-
Stärk 2001, Springer-Verlag
-
[Stärk 2001] Stärk, R., Schmid, J., Börger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer-Verlag, 2001.
-
(2001)
Java and the Java Virtual Machine: Definition, Verification, Validation
-
-
Stärk, R.1
Schmid, J.2
Börger, E.3
-
41
-
-
35048856166
-
-
[Stärk 2004] Stärk, R., Börger, E.: An ASM Sepcification of C# Threads and the .NET Memory, Abstract State Machines 2004, LNCS 3052.
-
[Stärk 2004] Stärk, R., Börger, E.: "An ASM Sepcification of C# Threads and the .NET Memory", Abstract State Machines 2004, LNCS Vol. 3052.
-
-
-
-
42
-
-
25844443345
-
Formal Specification and Verification of the C# Thread Model
-
Stärk 2005
-
[Stärk 2005] Stärk, R.: "Formal Specification and Verification of the C# Thread Model", Theoretical Computer Science, Vol 343, 2005.
-
(2005)
Theoretical Computer Science
, vol.343
-
-
Stärk, R.1
-
43
-
-
38849084509
-
Safe Composition of Product Lines
-
Thaker 2007
-
[Thaker 2007] Thaker, S., Batory, D., Kitchin, D., Cook, W.: "Safe Composition of Product Lines". GPCE 2007.
-
GPCE 2007
-
-
Thaker, S.1
Batory, D.2
Kitchin, D.3
Cook, W.4
-
44
-
-
84961733403
-
Multi-Stage Programming with Explicit Annotations
-
Taha 1997
-
[Taha 1997] Taha, W., Sheard, T.: "Multi-Stage Programming with Explicit Annotations", PEPM 1997.
-
PEPM 1997
-
-
Taha, W.1
Sheard, T.2
-
45
-
-
34547213878
-
The Verification Grand Challenge
-
Woodcock 2007
-
[Woodcock 2007] Woodcock, J., Banach, R.: "The Verification Grand Challenge", JUCS Vol 13#5, 2007.
-
(2007)
JUCS
, vol.13
, Issue.5
-
-
Woodcock, J.1
Banach, R.2
-
46
-
-
77954491081
-
Verified System by Composition from Verified Components
-
Xie 2003
-
[Xie 2003] Xie, F., Browne, J. "Verified System by Composition from Verified Components". ACM SIGSOFT/FSE 2003.
-
ACM SIGSOFT/FSE 2003
-
-
Xie, F.1
Browne, J.2
|