-
1
-
-
84957031289
-
A logic of object-oriented programs
-
Bidoit M., and Dauchet M. (Eds), Springer, Berlin
-
Abadi M., and Leino R. A logic of object-oriented programs. In: Bidoit M., and Dauchet M. (Eds). TAPSOFT '97. Theory and Practice of Software Development Seventh International Joint Conference (1997), Springer, Berlin 682-696
-
(1997)
TAPSOFT '97. Theory and Practice of Software Development Seventh International Joint Conference
, pp. 682-696
-
-
Abadi, M.1
Leino, R.2
-
2
-
-
46049087242
-
Verification for Java's reentrant multithreading concept
-
Springer, Berlin
-
Abraham-Mumm E., de Boer F.S., de Roever W.P., and Steffen M. Verification for Java's reentrant multithreading concept. Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science Vol. 2303 (2002), Springer, Berlin 5-20
-
(2002)
Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science
, vol.2303
, pp. 5-20
-
-
Abraham-Mumm, E.1
de Boer, F.S.2
de Roever, W.P.3
Steffen, M.4
-
3
-
-
84974720115
-
-
P. America, Designing an object-oriented programming language with behavioural subtyping. in: J.W. de Bakker, W.P. de Roever, G. Rozenberg (Eds.), REX Workshop, Lecture Notes in Computer Science, Vol. 489, Springer, 1991, pp. 60-90.
-
-
-
-
4
-
-
0000824819
-
Reasoning about dynamically evolving process structures
-
America P., and de Boer F. Reasoning about dynamically evolving process structures. Formal Aspects Comput. 6 3 (1994) 269-316
-
(1994)
Formal Aspects Comput.
, vol.6
, Issue.3
, pp. 269-316
-
-
America, P.1
de Boer, F.2
-
5
-
-
0041780091
-
Class refinement as semantics of correct object substitutability
-
Back R., Mikhajlova A., and von Wright J. Class refinement as semantics of correct object substitutability. Formal Aspects Comput. 2 (2000) 18-40
-
(2000)
Formal Aspects Comput.
, vol.2
, pp. 18-40
-
-
Back, R.1
Mikhajlova, A.2
von Wright, J.3
-
7
-
-
2942629049
-
Formalizing UML use cases in the refinement calculus
-
Springer, Berlin
-
Back R.J.R., Petre L., and Paltor I.P. Formalizing UML use cases in the refinement calculus. Proc. UML'99 (1999), Springer, Berlin
-
(1999)
Proc. UML'99
-
-
Back, R.J.R.1
Petre, L.2
Paltor, I.P.3
-
8
-
-
84957542473
-
An approach to object-orientation in action systems
-
Jeuring J. (Ed), Springer, Berlin
-
Bonsangue M.M., Kok J.N., and Sere K. An approach to object-orientation in action systems. In: Jeuring J. (Ed). Mathematics of Program Construction, Lecture Notes in Computer Science Vol. 1422 (1998), Springer, Berlin 68-95
-
(1998)
Mathematics of Program Construction, Lecture Notes in Computer Science
, vol.1422
, pp. 68-95
-
-
Bonsangue, M.M.1
Kok, J.N.2
Sere, K.3
-
9
-
-
0003547470
-
-
Addison-Wesley, Berlin, MA
-
Booch G., Rumbaugh J., and Jacobson I. The Unified Modelling Language User Guide (1999), Addison-Wesley, Berlin, MA
-
(1999)
The Unified Modelling Language User Guide
-
-
Booch, G.1
Rumbaugh, J.2
Jacobson, I.3
-
10
-
-
35248888150
-
A refinment algebra for object-oriented programming
-
cardelli L. (Ed), Springer, Berlin
-
Borba P., Sampaio A., and Cornélio M. A refinment algebra for object-oriented programming. In: cardelli L. (Ed). Proc. ECOOP03, Lecture Notes in Computer Science Vol. 2743 (2003), Springer, Berlin 457-482
-
(2003)
Proc. ECOOP03, Lecture Notes in Computer Science
, vol.2743
, pp. 457-482
-
-
Borba, P.1
Sampaio, A.2
Cornélio, M.3
-
11
-
-
0141747293
-
Object-oriented programming and software development-a critical assessment
-
McIver A., and Morgan C. (Eds), Springer, Berlin
-
Broy M. Object-oriented programming and software development-a critical assessment. In: McIver A., and Morgan C. (Eds). Programming Methodology (2003), Springer, Berlin
-
(2003)
Programming Methodology
-
-
Broy, M.1
-
12
-
-
21344494958
-
An operational semantics for TOOPLE: a statically-typed object-oriented programming language
-
Brooks S., et al. (Ed), Springer, Berlin
-
Bruce K., Grabtre J., and Kanapathy G. An operational semantics for TOOPLE: a statically-typed object-oriented programming language. In: Brooks S., et al. (Ed). Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science Vol. 802 (1994), Springer, Berlin 603-626
-
(1994)
Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science
, vol.802
, pp. 603-626
-
-
Bruce, K.1
Grabtre, J.2
Kanapathy, G.3
-
13
-
-
84949511863
-
A weakest precondition semantics for an object-oriented language of refinement
-
Springer, Berlin
-
Cavalcanti A., and Naumann D. A weakest precondition semantics for an object-oriented language of refinement. Lecture Notes in Computer Science Vol. 1709 (1999), Springer, Berlin 1439-1460
-
(1999)
Lecture Notes in Computer Science
, vol.1709
, pp. 1439-1460
-
-
Cavalcanti, A.1
Naumann, D.2
-
14
-
-
33746045698
-
-
Y. Chen, J. Sanders, Compositional reasoning for pointer structures, in: Eighth Internat. Conf. on Mathematics of Program Construction (MPC'06), Lecture Notes in Computer Science, Vol. 4014, Springer, Berlin, 2006, pp. 115-139.
-
-
-
-
17
-
-
33646427055
-
++ in the development of a real-time tracking and tracing system
-
Woodcock J., and Larsen P. (Eds), Springer, Berlin
-
++ in the development of a real-time tracking and tracing system. In: Woodcock J., and Larsen P. (Eds). Proc. of FME'93, Lecture Notes in Computer Science Vol. 670 (1993), Springer, Berlin
-
(1993)
Proc. of FME'93, Lecture Notes in Computer Science
, vol.670
-
-
Dürr, E.1
Dusink, E.M.2
-
18
-
-
0004061016
-
-
Addison-Wesley, Reading, MA
-
Fowler M., Beck K., Brant J., Opdyke W., and Roberts D. Refactoring: Improving the Design of Existing Code (1999), Addison-Wesley, Reading, MA
-
(1999)
Refactoring: Improving the Design of Existing Code
-
-
Fowler, M.1
Beck, K.2
Brant, J.3
Opdyke, W.4
Roberts, D.5
-
20
-
-
0003880013
-
-
Addison-Wesley, Reading, MA
-
Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns, Elements of Reusable Object-Oriented Software (1994), Addison-Wesley, Reading, MA
-
(1994)
Design Patterns, Elements of Reusable Object-Oriented Software
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
21
-
-
0004189634
-
-
Addison-Wesley, Reading, MA
-
Gamma E., et al. Design Patterns (1995), Addison-Wesley, Reading, MA
-
(1995)
Design Patterns
-
-
Gamma, E.1
-
22
-
-
33750074976
-
-
D. Harel, B. Rumpe, Modeling languages: syntax, semantics and all that stuff-part I: the basic stuff, Technical Report MCS00-16, The Weizmann Institute of Science, Israel, September 2000.
-
-
-
-
23
-
-
33646430566
-
Component-based software engineering
-
Springer, Berlin
-
He J., Li X., and Liu Z. Component-based software engineering. in: Proc. Second Internat. Colloq. on Theoretical Aspects of Computing (ICTAC05), Lecture Notes in Computer Science Vol. 3722 (2005), Springer, Berlin 70-95
-
(2005)
in: Proc. Second Internat. Colloq. on Theoretical Aspects of Computing (ICTAC05), Lecture Notes in Computer Science
, vol.3722
, pp. 70-95
-
-
He, J.1
Li, X.2
Liu, Z.3
-
24
-
-
2942598956
-
Towards a refinement calculus for object-oriented systems (invited talk)
-
IEEE Computer Society, Silverspring, MD
-
He J., Liu Z., and Li X. Towards a refinement calculus for object-oriented systems (invited talk). Proc. ICCI02, Alberta, Canada (2002), IEEE Computer Society, Silverspring, MD
-
(2002)
Proc. ICCI02, Alberta, Canada
-
-
He, J.1
Liu, Z.2
Li, X.3
-
25
-
-
33746769772
-
-
J. He, Z. Liu, X. Li, A theories of reactive contracts, Electronic Notes of Theoretical Computer Science, Vol. 160, 2006, pp. 173-195.
-
-
-
-
26
-
-
33746725777
-
-
J. He, Z. Liu, X. Li, S. Qin, A relational model of object oriented programs, in: Proc. of the Second ASIAN Symp. on Programming Languages and Systems (APLAS04), Lecture Notes in Computer Science, Vol. 3302, Taiwan, March 2004, Springer, Berlin, pp. 415-436.
-
-
-
-
27
-
-
0023399227
-
Laws for programming
-
Hoare C.A.R. Laws for programming. Comm. ACM 30 (1987) 672-686
-
(1987)
Comm. ACM
, vol.30
, pp. 672-686
-
-
Hoare, C.A.R.1
-
29
-
-
33750058791
-
-
I. Houston, Formal specification of the OMG core object model, Technical Report, IMB, UK, Hursely Park, 1994.
-
-
-
-
30
-
-
84945313759
-
Java program verification via a Hoare logic with abrupt termination
-
Maibaum T. (Ed), Springer, Berlin
-
Huisman M., and Jacobs B. Java program verification via a Hoare logic with abrupt termination. In: Maibaum T. (Ed). FASE 2000, Lecture Notes in Computer Science Vol. 1783 (2000), Springer, Berlin 284-303
-
(2000)
FASE 2000, Lecture Notes in Computer Science
, vol.1783
, pp. 284-303
-
-
Huisman, M.1
Jacobs, B.2
-
31
-
-
0003902726
-
-
Addison-Wesley, Reading, MA
-
Jacobson I., Booch G., and Rumbaugh J. The Unified Software Development Process (1999), Addison-Wesley, Reading, MA
-
(1999)
The Unified Software Development Process
-
-
Jacobson, I.1
Booch, G.2
Rumbaugh, J.3
-
32
-
-
33646066457
-
Resource models and pre-compiler specification for hardware/software
-
Cuellar J.R., and Liu Z. (Eds). Beijing, China, IEEE Computer Society, Sliverspring, MD
-
Jin N., and He J. Resource models and pre-compiler specification for hardware/software. In: Cuellar J.R., and Liu Z. (Eds). Proc. Second Internat. Conf. on Software Engineering and Formal Methods SEFM04. Beijing, China (2004), IEEE Computer Society, Sliverspring, MD 28-30
-
(2004)
Proc. Second Internat. Conf. on Software Engineering and Formal Methods SEFM04
, pp. 28-30
-
-
Jin, N.1
He, J.2
-
35
-
-
0004012875
-
-
Prentice-Hall International, Englewood Cliffs, NJ
-
Larman C. Applying UML and Patterns (2001), Prentice-Hall International, Englewood Cliffs, NJ
-
(2001)
Applying UML and Patterns
-
-
Larman, C.1
-
36
-
-
24644478720
-
Recursive object types in a logic of object-oriented programming
-
Springer, Berlin
-
Leino K.R.M. Recursive object types in a logic of object-oriented programming. Lecture Notes in Computer Science Vol. 1381 (1998), Springer, Berlin
-
(1998)
Lecture Notes in Computer Science
, vol.1381
-
-
Leino, K.R.M.1
-
37
-
-
33750065655
-
-
X. Li, Z. Liu, J. He, Q. Long, Generating prototypes from a UML model of requirements, in: Internat. Conf. on Distributed Computing and Internet Technology (ICDIT2004), Lecture Notes in Computer Science, Vol. 3347, Bhubaneswar, India, Springer, Berlin, 2004.
-
-
-
-
38
-
-
84901604389
-
Contract-oriented development of component systems
-
Toulouse, France, Kluwer Academic Publishers, Dordrecht
-
Liu Z., He J., and Li X. Contract-oriented development of component systems. Proc. of IFIP WCC-TCS2004. Toulouse, France (2004), Kluwer Academic Publishers, Dordrecht 349-366
-
(2004)
Proc. of IFIP WCC-TCS2004
, pp. 349-366
-
-
Liu, Z.1
He, J.2
Li, X.3
-
39
-
-
33750080398
-
rCOS: refinement of component and object systems
-
Springer, Berlin
-
Liu Z., He J., and Li X. rCOS: refinement of component and object systems. in: Proc. Third Internat. Symp. on Formal Methods for Components and Objects (FMCO04), Lecture Notes in Computer Science Vol. 3657 (2005), Springer, Berlin 222-250
-
(2005)
in: Proc. Third Internat. Symp. on Formal Methods for Components and Objects (FMCO04), Lecture Notes in Computer Science
, vol.3657
, pp. 222-250
-
-
Liu, Z.1
He, J.2
Li, X.3
-
40
-
-
0345255232
-
A relational model for formal requirements analysis in UML
-
Dong J.S., and Woodcock J. (Eds), Springer, Berlin
-
Liu Z., He J., Li X., and Chen Y. A relational model for formal requirements analysis in UML. In: Dong J.S., and Woodcock J. (Eds). Formal Methods and Software Engineering, ICFEM03, Lecture Notes in Computer Science Vol. 2885 (2003), Springer, Berlin 641-664
-
(2003)
Formal Methods and Software Engineering, ICFEM03, Lecture Notes in Computer Science
, vol.2885
, pp. 641-664
-
-
Liu, Z.1
He, J.2
Li, X.3
Chen, Y.4
-
42
-
-
0042740271
-
From structured programming to object-oriented design: the road to Eiffel
-
Meyer B. From structured programming to object-oriented design: the road to Eiffel. Structured Programming 10 1 (1989) 19-39
-
(1989)
Structured Programming
, vol.10
, Issue.1
, pp. 19-39
-
-
Meyer, B.1
-
45
-
-
33645269720
-
Predicate transformer semantics of an Oberon-like language
-
Olerog E.-R. (Ed), North-Holland, Amsterdam
-
Naumann D. Predicate transformer semantics of an Oberon-like language. In: Olerog E.-R. (Ed). Proc. of PROCOMET'94 (1994), North-Holland, Amsterdam
-
(1994)
Proc. of PROCOMET'94
-
-
Naumann, D.1
-
46
-
-
33750090877
-
-
C. Pierik, F.S. de Boer. A syntax-directed hoare logic for object-oriented programming concepts, Technical Report UU-CS-2003-010, Institute of Information and Computing Science, Utrecht University, 2003.
-
-
-
-
47
-
-
84957884995
-
A programming logic for sequential Java
-
Swierstra S.D. (Ed), Springer, Berlin
-
Poetzsch-Heffter A., and Muller P. A programming logic for sequential Java. In: Swierstra S.D. (Ed). Proc. Programming Languages and Systems (ESOP'99), Lecture Notes in Computer Science Vol. 1576 (1999), Springer, Berlin 162-176
-
(1999)
Proc. Programming Languages and Systems (ESOP'99), Lecture Notes in Computer Science
, vol.1576
, pp. 162-176
-
-
Poetzsch-Heffter, A.1
Muller, P.2
-
48
-
-
84944186496
-
Towards a rigorous semantics of UML supporting its multiview approach
-
Hussmann H. (Ed), Springer, Berlin
-
Reggio G., et al. Towards a rigorous semantics of UML supporting its multiview approach. In: Hussmann H. (Ed). Proc. FASE 2001, Lecture Notes in Computer Science Vol. 2029 (2001), Springer, Berlin
-
(2001)
Proc. FASE 2001, Lecture Notes in Computer Science
, vol.2029
-
-
Reggio, G.1
-
49
-
-
0036051192
-
Separation logic: a logic for a shared mutable data structure
-
IEEE Computer Society, Sliverspring, MD
-
Reynolds J. Separation logic: a logic for a shared mutable data structure. Proc. of IEEE Symp. Logic in Computer Science (LICS'02) (2002), IEEE Computer Society, Sliverspring, MD
-
(2002)
Proc. of IEEE Symp. Logic in Computer Science (LICS'02)
-
-
Reynolds, J.1
-
50
-
-
33750065062
-
-
D.B. Roberts, Practical Analysis for Refactoring, Ph.D. Thesis, University of Illinois, Urbana Champain, 1999.
-
-
-
-
51
-
-
0043142998
-
A type-theoretical basis for an object-oriented refinement calculus
-
Springer, Berlin
-
Sekerinski E. A type-theoretical basis for an object-oriented refinement calculus. Proc. of Formal Methods and Object Technology (1996), Springer, Berlin
-
(1996)
Proc. of Formal Methods and Object Technology
-
-
Sekerinski, E.1
-
52
-
-
24644469554
-
A framework for specification and validation of real-time systems using Circus actions
-
Springer, Berlin
-
Sherif A., He J., Cavalcanti A., and Sampaio A. A framework for specification and validation of real-time systems using Circus actions. in: Proc. First Internat. Colloq. on Theoretical Aspects of Computing (ICTAC04), Lecture Notes in Computer Science Vol. 3407 (2005), Springer, Berlin 478-494
-
(2005)
in: Proc. First Internat. Colloq. on Theoretical Aspects of Computing (ICTAC04), Lecture Notes in Computer Science
, vol.3407
, pp. 478-494
-
-
Sherif, A.1
He, J.2
Cavalcanti, A.3
Sampaio, A.4
-
54
-
-
33750045676
-
-
L.A. Tokuda, Evolving Object-Oriented Designs with Refactoring, Ph.D. Thesis, University of Texas Austin, 1999.
-
-
-
-
56
-
-
84958809740
-
β-calculus semantics of object-oriented programming languages
-
Springer, Berlin
-
Walker D. β-calculus semantics of object-oriented programming languages. in: Proc. TACAS'91, Lecture Notes in Computer Science Vol. 526 (1991), Springer, Berlin 532-547
-
(1991)
in: Proc. TACAS'91, Lecture Notes in Computer Science
, vol.526
, pp. 532-547
-
-
Walker, D.1
-
58
-
-
24644515349
-
A predicative semantic model for integrating UML models
-
Springer, Berlin
-
Yang J., Long Q., Liu Z., and Li X. A predicative semantic model for integrating UML models. in: Proc. First Internat. Colloq. on Theoretical Aspects of Computing (ICTAC04), Lecture Notes in Computer Science Vol. 3407 (2005), Springer, Berlin 170-186
-
(2005)
in: Proc. First Internat. Colloq. on Theoretical Aspects of Computing (ICTAC04), Lecture Notes in Computer Science
, vol.3407
, pp. 170-186
-
-
Yang, J.1
Long, Q.2
Liu, Z.3
Li, X.4
|