SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Informatica (Ljubljana)

Volumn 25, Issue 4, 2001, Pages 517-526

The ABCs of specification: Asml, behavior, and components

(2) Barnett, Mike a Schulte, Wolfram a

a MICROSOFT RESEARCH (United States)

Author keywords

Component; Specification; Subtyping

Indexed keywords

COMPUTER PROGRAMMING; SEMANTICS; SOFTWARE AGENTS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS; USER INTERFACES;

ABSTRACT STATE MACHINE LANGUAGE; SOFTWARE COMPONENTS; TRANSACTIONAL SEMANTICS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0035520516 PISSN: 03505596 EISSN: None Source Type: Journal
DOI: None Document Type: Article

Times cited : (22)

References (43)

1
- 84934149115
- Inheritance and subtyping in a parallel object-oriented language
- In Jean Bezivin et al., editors; New York, NY, June; Springer-Verlag. Lecture Notes in Computer Science, Volume 276
- (1987) ECOOP '87, European Conference on Object-Oriented Programming, Paris, France , pp. 234-242
- America, P.¹

2
- 84889573763
- XASM - An extensible, component-based abstract state machines language
- In Y. Gurevich and P. Kutter and M. Odersky and L. Thiele, editor; volume 1912 of LNCS; Springer-Verlag
- (2000) Abstract State Machines: Theory and Applications , pp. 69-90
- Anlauff, M.¹

3
- 25544459014
- Class refinement as semantics of correct subclassing
- Technical Report 147, Turku Centre for Computer Science, December
- (1997)
- Back, R.¹ Mikhajlova, A.² Von Wright, J.³

4
- 0004052851
- Springer-Verlag
- (1998) Refinement Calculus: A Systematic Introduction
- Back, R.-J.¹ Von Wright, J.²

5
- 0003720399
- Conformance checking of components against their non-deterministic specifications
- Technical Report MSR-TR-2001-56, Microsoft Research, June
- (2001)
- Barnett, M.¹ Nachmanson, L.² Schulte, W.³

6
- 33646204439
- Spying on components: A run-time verification technique
- Published as Iowa State Technical Report #01-09a, October
- (2001) Workshop on Specification and Verification of Component-Based Systems, OOPSLA 2001 , pp. 7-13
- Barnett, M.¹ Schulte, W.²

7
- 0037813473
- Jass - Java with assertions
- Bartetzko, D.¹ Fischer, C.² Möller, M.³ Wehrheim, H.⁴

8
- 84956989779
- State-based extension of CASL
- In W. Grieskamp, T. Santen, and B. Stoddart, editors; volume 1945 of LNCS; Springer
- (2000) , pp. 3-24
- Baumeister, H.¹ Zamulin, A.²

9
- 0344146600
- Making components contract aware
- July
- (1999) Computer , vol.32 , Issue.7 , pp. 38-44
- Beugnard, A.¹ Jézéquel, J.-M.² Plouzeau, N.³ Watkins, D.⁴

10
- 84959351755
- Composition and submachine concepts for sequential ASMs
- In P. Clote and H. Schwichtenberg, editors; volume 1862 of LNCS; Springer
- (2000) Computer Science Logic (Proceedings of CSL 2000) , pp. 41-60
- Börger, E.¹ Schmid, J.²

11
- 0004135552
- Addison-Wesley Publishing Company, Reading, Massachusetts
- (1998) Essential COM
- Box, D.¹

12
- 84943378870
- Formal methods for component software: The refinement calculus perspective
- ftp://ftp.abo.fi at /pub/cs/papers/mbuechi/FMforCS.ps.gz
- Proceedings of the Second Workshop on Component-Oriented Programming (WCOP), June 1997
- Büchi, M.¹ Sekerinski, E.²

13
- 0004119021
- Adding contracts to Java with handshake
- Technical Report TRCS98-32, University of California at Santa Barbara, December 1998
- (1998)
- Duncan, A.¹ Hölze, U.²

14
- 0035360392
- A framework for practical, automated blackbox testing of component-based software
- Software Testing, Verification and Reliability , vol.11 , Issue.2 , pp. 2001
- Edwards, S.H.¹

15
- 0035552056
- Contract soundness for object-oriented languages
- ACM SIGPLAN, September
- (2001) OOPSLA 2001 , pp. 1-15
- Findler, R.B.¹ Felleisen, M.²

16
- 0008229140
- Microsoft Research Foundations of Software Engineering
- (2001)

17
- 0003880013
- Addison-Wesley, Reading, Mass.
- (1995) Design Patterns: Elements of Reusable Object-Oriented Software
- Gamma, E.¹ Helm, R.² Johnson, R.³ Vlissides, J.⁴

18
- 0003962867
- Universal plug and play machine models
- Technical Report MSR-TR-2001-59, Microsoft Research, June
- (2001)
- Glässer, U.¹ Gurevich, Y.² Veanes, M.³

19
- 0003518498
- The Java Series. Addison-Wesley, Boston, Mass.
- (2000) The Java Language Specification Second Edition
- Gosling, J.¹ Joy, B.² Steele, G.³ Bracha, G.⁴

20
- 0008187152
- Personal communication
- (2001)
- Goswell, C.¹

21
- 0008231185
- Conformance testing with abstract state machines
- Technical Report MSR-TR-2001-97, Microsoft Research, October
- (2001)
- Grieskamp, W.¹ Gurevich, Y.² Schulte, W.³ Veanes, M.⁴

22
- 0002017107
- Evolving algebra 1993: Lipari guide
- In Egon Börger, editor; Oxford University Press, Oxford, UK
- (1995) Specification and Validation Methods , pp. 9-36
- Gurevich, Y.¹

23
- 0008282119
- Toward industrial strength abstract state machines
- Technical Report MSR-TR-2001-98, Microsoft Research, October
- (2001)
- Gurevich, Y.¹ Schulte, W.² Veanes, M.³

24
- 0003714504
- Springer-Verlag, New York, NY
- (1993) Larch: Languages and Tools for Formal Specification
- Guttag, J.V.¹ Horning, J.J.² Garland, S.J.³ Jones, K.D.⁴ Modet, A.⁵ Wing, J.M.⁶

25
- 0008273490
- C# Language Specification, Version 0.22
- Hejlsberg, A.¹ Wiltamuth, S.²

26
- 84976833144
- Contracts: Specifying behavioral compositions in object-oriented system
- October; OOPSLA ECOOP '90 Proceedings, N. Meyrowitz (editor)
- (1990) ACM SIGPLAN Notices , vol.25 , Issue.10 , pp. 169-180
- Helm, R.¹ Holland, I.² Gangopadhyay, D.³

27
- 84945708698
- An axiomatic basis for computer programming
- October
- (1969) Communications of the ACM , vol.12 , Issue.10 , pp. 576-583
- Hoare, C.A.R.¹

28
- 0015482118
- Proof of correctness of data representations
- (1972) Acta Informatica , vol.1 , Issue.4 , pp. 271-281
- Hoare, C.A.R.¹

29
- 0008269725
- Ispec: Towards practical and sound interface specifications
- volume 1954 of LNCS; Berlin, Germany, November; Springer-Verlag
- (1999) IFM'2000 , pp. 116-135
- Jonker, H.B.¹

30
- 0004297930
- jContractor: A reflective Java library to support design by contract
- Technical Report TRCS98-31, University of California, Santa Barbara, Computer Science., January 19
- (1999)
- Karaorman, M.¹ Holzle, U.² Bruno, J.³

31
- 0021425467
- Literate programming
- May
- (1984) Computer Journal , vol.27 , Issue.2 , pp. 97-111
- Knuth, D.E.¹

32
- 0026186463
- Modular specification and verification of object-oriented programs
- July
- (1991) IEEE Software , vol.8 , Issue.4 , pp. 72-80
- Leavens, G.T.¹

33
- 0008190398
- Concepts of behavioral subtyping and a sketch of their extension to component-based systems
- In Gary T. Leavens and Murali Sitaraman, editors; chapter 6; Cambridge University Press
- (2000) Foundations of Component-Based Systems , pp. 113-135
- Leavens, G.T.¹ Dhara, K.K.²

34
- 0028548263
- A behavioral notion of subtyping
- November
- (1994) ACM Transactions on Programming Languages and Systems , vol.16 , Issue.6 , pp. 1811-1841
- Liskov, B.¹ Wing, J.²

35
- 0004198444
- Object-Oriented Series. Prentice Hall, New York, NY
- (1992) Eiffel: The Language
- Meyer, B.¹

36
- 0003578795
- Prentice Hall, New York, NY, second edition
- (1997) Object-Oriented Construction
- Meyer, B.¹

37
- 84949504058
- Developing components in the presence of re-entrance
- Technical Report TUCS-TR-239, TUCS - Turku Centre for Computer Science, February
- (1999)
- Mikhajlov, L.¹ Sekerinski, E.² Laibinis, L.³

38
- 0008189922
- Ensuring correctness of Java frameworks: A formal look at JCF
- Technical Report TUCS-TR-250, TUCS - Turku Centre for Computer Science, March
- (1999)
- Mikhajlova, A.¹ Sekerinski, E.²

39
- 0003648103
- Prentice Hall International, Hempstead, UK
- (1990) Programming from Specifications
- Morgan, C.¹

40
- 0008189223
- Making executable interface specifications more expressive
- In C. H. Cap, editor; Informatik Aktuell. Springer-Verlag
- (1999) JIT '99 Java-Informations-Tage 1999
- Müller, P.¹ Meyer, J.² Poetzsch-Heffter, A.³

41
- 0003911748
- PhD thesis, Universität Ulm, Ulm, Germany
- (1999) Verification of Abstract State Machines
- Schellhorn, G.¹

42
- 0008228278
- Testing components
- Published as Iowa State Technical Report #01-09a, October
- (2001) Workshop on Specification and Verification of Component-Based Systems, OOPSLA 2001 , pp. 1-6
- Soundarajan, N.¹ Tyler, B.²

43
- 0003562903
- ACM Press and Addison-Wesley, New York, NY
- (1998) Component Software: Beyond Object-Oriented Programming
- Szyperski, C.¹

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