Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769504345

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lessons learned from wrapping systems

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) ◽

10.1109/iceccs.1999.802857 ◽

2003 ◽

Cited By ~ 6

Author(s):

C. Landauer ◽

K.L. Bellman

Keyword(s):

Lessons Learned

Download Full-text

Developing more reliable software faster and cheaper

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) ◽

10.1109/iceccs.1999.802860 ◽

2003 ◽

Cited By ~ 3

Author(s):

J.D. Musa

Keyword(s):

Reliable Software

Download Full-text

Performance analysis of traffic networks based on Stochastic Timed Petri Net models

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) ◽

10.1109/iceccs.1999.802852 ◽

2003 ◽

Cited By ~ 6

Author(s):

Jiacun Wang ◽

Chun Jin ◽

Yi Deng

Keyword(s):

Performance Analysis ◽

Petri Net ◽

Traffic Networks ◽

Timed Petri Net

Download Full-text

UML+ROOM as a standard ADL?

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) ◽

10.1109/iceccs.1999.802849 ◽

2003 ◽

Cited By ~ 9

Author(s):

B. Rumpe ◽

M. Schoenmakers ◽

A. Radermacher ◽

A. Schurr

Download Full-text

Criteria for generating specification-based tests

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) ◽

10.1109/iceccs.1999.802856 ◽

2003 ◽

Cited By ~ 34

Author(s):

A.J. Offutt ◽

Yiwei Xiong ◽

Shaoying Liu

Download Full-text

Evaluating a flexible architecture for distributed control

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) ◽

10.1109/iceccs.1999.802851 ◽

2003 ◽

Cited By ~ 1

Author(s):

P. Bellini ◽

M. Buonopane ◽

M. Montanelli ◽

P. Nesi

Keyword(s):

Distributed Control ◽

Flexible Architecture

Download Full-text

On cost function synthesis for multi-objective design decisions in complex real-time systems

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) ◽

10.1109/iceccs.1999.802853 ◽

2003 ◽

Author(s):

C.C. Amaro ◽

R. Nossal ◽

A.D. Stoyen

Keyword(s):

Cost Function ◽

Real Time ◽

Real Time Systems ◽

Design Decisions ◽

Multi Objective ◽

Time Systems

Download Full-text

An integrating approach for developing distributed software systems-combining formal methods, software reuse, and the experience base

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) ◽

10.1109/iceccs.1999.802850 ◽

2003 ◽

Cited By ~ 2

Author(s):

R.L. Feldmann ◽

B. Geppert ◽

F. Rossler

Keyword(s):

Formal Methods ◽

Software Reuse ◽

Software Systems ◽

Distributed Software

Download Full-text

Practical considerations in protocol verification: the E-2C case study

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) ◽

10.1109/iceccs.1999.802859 ◽

2003 ◽

Cited By ~ 1

Author(s):

Yifei Dong ◽

S.A. Smolka ◽

E.W. Stark ◽

S.M. White

Keyword(s):

Protocol Verification

Download Full-text

A realistic architecture for timed testing

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) ◽

10.1109/iceccs.1999.802855 ◽

2003 ◽

Cited By ~ 4

Author(s):

E. Petitjean ◽

H. Fouchal

Download Full-text

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Lessons learned from wrapping systems

Developing more reliable software faster and cheaper

Performance analysis of traffic networks based on Stochastic Timed Petri Net models

UML+ROOM as a standard ADL?

Criteria for generating specification-based tests

Evaluating a flexible architecture for distributed control

On cost function synthesis for multi-objective design decisions in complex real-time systems

An integrating approach for developing distributed software systems-combining formal methods, software reuse, and the experience base

Practical considerations in protocol verification: the E-2C case study

A realistic architecture for timed testing

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)
Latest Publications