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

메뉴 건너뛰기

IEEE Aerospace Conference Proceedings

Volumn 6, Issue , 2001, Pages 62897-62908

Improving system reliability via rigorous software modeling: The UML case

(2) Toval, A a Fernandez Aleman J L a

a UNIVERSITY OF MURCIA (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AEROSPACE APPLICATIONS; ALGEBRA; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SYSTEMS ANALYSIS;

RIGOROUS SOFTWARE MODELING; UNIFIED MODELING LANGUAGE (UML);

SOFTWARE ENGINEERING;

EID: 0034853110 PISSN: 1095323X EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (10)

References (34)

1
- 57349144401
- Objects, associations and subsystems: A hierarchical approach to encapsulation
- Jyvaskyla, Finland, June
- (1997) Proceedings of ECOOP'97, 11th European Conference on Object-Oriented Programming
- Bicarregui, J.C.¹ Lano, K.C.² Maibaum, T.S.E.³

2
- 0029386499
- A formal semantics for object model diagrams
- October
- (1995) IEEE Transactions on Software Engineering , vol.21 , Issue.10 , pp. 799-821
- Bourdeau, R.¹ Cheng, B.²

3
- 0003895448
- Computer Science Laboratory SRI International, January
- (1999) Maude: Specification and programming in rewriting logic
- Clavel, M.¹ Durán, F.² Eker, S.³ Lincoln, P.⁴ Martí-Oliet, N.⁵ Meseguer, J.⁶ Quesada, J.⁷

4
- 0003300896
- Protocol specification and analysis in maude
- June
- (1998) Proc. of workshop on formal methods and security protocols
- Denker, G.¹ Meseguer, J.² Talcott, C.³

5
- 84957568378
- Reasoning with UML class diagrams
- IEEE Press, Boca-Raton
- (1998) Proc of the IEEE Workshop on Industrial Strength Formal Specification Techniques (WIFT'98)
- Evans, A.S.¹

6
- 84889291685
- Foundations of the unified modeling language
- Springer-Verlag
- (1998) Proc. of the 2nd Northern Formal Methods Workshop
- Evans, A.S.¹ Clark, A.N.²

7
- 0034546779
- Can intuition become rigorous? Foundations for UML model verification tools
- IEEE Press, October 8-11
- (2000) Proc. of the International Symposium on Software Reliability Engineering (ISSRE 2000)
- Fernández, J.L.¹ Toval, A.²

8
- 0003924409
- Tech. Rep. LSI 3-00. University of Murcia (Spain): Department of Informatics and Systems
- (2000) Rigorous software modeling also improves dependability: The UML CASE
- Fernández, J.L.¹ Toval, A.²

9
- 0003916720
- Rigorously transforming UML class diagrams
- University of Valladolid, November
- (2000) Proc. of V Spanish Conference on Software Engineering and Database
- Fernández, J.L.¹ Toval, A.² Hoyos, J.R.³

10
- 0003913398
- Formally modeling and executing the UML class diagram
- University of Granada (Spain) March
- (2000) Proc. of the V Workshop on Models Environments and Tools in Requirements Engineering (MENHIR 2000)
- Fernández, J.L.¹ Toval, A.²

11
- 0033203869
- A problem-oriented analysis of basic UML static requirements modeling concepts
- Denver, Colorado
- (1999) Proc. of Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99)
- France, R.¹

12
- 0031280801
- An integrated object-oriented and formal modeling environment
- November/December
- (1997) Journal Object Oriented Programming , pp. 25-34
- France, R.¹ Bruel, J.-M.² Larrond-Petrie, M.³

13
- 0003784988
- Towards rigorous analysis of fusion models: The MIRG experiences
- (1997) nd BCS-FACS Northern Formal Methods Workshop
- France, R.¹ Bruel, J.-M.² Raghavan, G.³

14
- 0003776921
- An algebraic formalization of the objectcharts notation
- Publishing Department of Technical University of Valencia, Spain
- (1994) Proc. of GULP-PRODE 1994, the 1994 Joint Conf. on Declarative Programming
- Grima, B.A.¹ Toval, A.²

15
- 0023365727
- Statecharts: A visual formalism for complex systems
- North-Holland
- (1987) Science of Computer Programming , vol.8 , pp. 231-275
- Harel, D.¹

16
- 0003445361
- Addison Wesley
- (1995) Safeware: System Safety and Computers
- Leveson, N.G.¹

17
- 85013962790
- Targeting safety-related errors during software requirements analysis
- (1993) Proc. First ACM SIGSOFT Symp. The Foundations of Software Engineering
- Lutz, R.¹

18
- 18944373994
- Rewriting logic as a logical and semantic framework
- Elsevier
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Martí-Oliet, N.¹ Meseguer, J.²

19
- 0027113376
- Conditional rewriting logic as a unified model of concurrency
- (1992) Theoretical Computer Science , vol.96 , Issue.1 , pp. 73-155
- Meseguer, J.¹

20
- 0031188824
- The next software breakthrough
- July
- (1997) Computer
- Meyer, B.¹

21
- 85008590313
- Providing trusted components to the industry
- May
- (1998) Computer
- Meyer, B.¹ Mingins, C.² Schmidt, H.³

22
- 0003895530
- Combining formal specifications with design by contract
- February
- (2000) Journal of Object-Oriented Programming , vol.12 , Issue.9
- Moros, B.¹ Nicolás, J.² Molina, J.G.³ Toval, A.⁴

23
- 0003446052
- June
- (1999) UML Notation guide version 1.3

24
- 0003924413
- June
- (1999) UML Semantics version 1.3

25
- 0004121211
- June
- (1999) Object Constraint Language Specification

26
- 0003916725
- Using reflection to specify transaction sequence in rewriting logic
- J. L. Fiadeiro, editor, of LNCS
- (1999) Recent Trends in Algebraic Development Techniques , vol.1589
- Pita, I.¹ Martí-Oliet, N.²

27
- 0003938512
- A tool for verifying formally graphical specifications of objects
- In Spanish, San Sebastián (Spain), University of Basque Country
- Proc. of the II Jornadas de Ingeniería del Software JIS'97 , pp. 193-206
- Pons, C.¹ Giandini, R.² Baum, G.³

28
- 0003770186

29
- 33646769219
- Thirty one problems in the semantics of UML 1.3 dynamics
- nd November
- (1999) Workshop Rigorous Modeling and Analysis of the UML Challenges and Limitations, OOPSLA'99
- Reggio, G.¹ Wieringa, R.J.²

30
- 0003906602
- A reuse model for formally verified UML diagrams
- University of Valladolid, May
- (1999) Proc. of the IV workshop on Models Environments and Tools in Requirements Engineering (MENHIR 1999)
- Sáez, J.¹ Fernández, J.² Toval, A.³ Manso, E.⁴ Laguna, M.⁵ García, F.⁶

31
- 84903565930
- Formally modeling UML and its evolution: A holistic approach
- Kluwer Academic Publishers, Sep.
- (2000) Proc. of Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000)
- Toval, A.¹ Fernández, J.L.²

32
- 0003777608
- Formal approaches to systems analysis using UML: A survey
- October-December
- (2000) Journal of Database Management , vol.11 , Issue.4 , pp. 4-13
- Whittle, J.¹

33
- 33646749195
- Rigorously automating transformations of UML behaviour models
- (2000) Workshop, Dynamic Behaviour in UML Models: Semantic Questions, ≪UML≫ 2000
- Whittle, J.¹ Araújo, J.² Toval, A.³ Alemán, J.L.F.⁴

34
- 0033725597
- Generating statechart designs from scenarios
- (2000) Proc. of International Conference Software Engineering (ICSE 2000)
- Whittle, J.¹ Schumann, J.²

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