Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
Latest Publications

TOTAL DOCUMENTS

36

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By IEEE

0769515495

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Workshop on component-based software engineering: composing systems from components

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999841 ◽

2005 ◽

Author(s):

I. Crnkovic ◽

S. Larsson ◽

J. Stafford

Keyword(s):

Software Engineering ◽

Component Based Software Engineering

Download Full-text

Formal specifications of computer-based systems

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999842 ◽

2005 ◽

Author(s):

M. Sveda ◽

C. Rattray ◽

J. Rozenblit

Keyword(s):

Formal Specifications ◽

Download Full-text

A formal software verification concept based on automated theorem proving and reverse engineering

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999823 ◽

2003 ◽

Author(s):

M. Popovic ◽

V. Kovacevic ◽

I. Velikic

Keyword(s):

Reverse Engineering ◽

Theorem Proving ◽

Automated Theorem Proving ◽

Software Verification ◽

Formal Software Verification

Download Full-text

VSPEC and its integrated tool suite

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999819 ◽

2003 ◽

Author(s):

M. Rangarajan ◽

K. Jambhekar ◽

A. Rajkhowa ◽

P. Alexander

Download Full-text

Towards recyclable system requirements

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999817 ◽

2003 ◽

Author(s):

I. Alexander ◽

F. Kiedaisch

Keyword(s):

System Requirements

Download Full-text

Flexible development of dependability services: an experience derived from energy automation systems

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999826 ◽

2003 ◽

Author(s):

V. De Florio

Keyword(s):

Automation Systems

Download Full-text

Requirements engineering for time-to-market projects

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999818 ◽

2003 ◽

Author(s):

C. McPhee ◽

A. Eberlein

Keyword(s):

Requirements Engineering ◽

Download Full-text

An intelligent agent security intrusion system

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999827 ◽

2003 ◽

Author(s):

J. Pikoulas ◽

W. Buchanan ◽

M. Mannion ◽

K. Triantafyllopoulos

Keyword(s):

Intelligent Agent

Download Full-text

Optimization of a retargetable functional simulator for embedded processors

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999839 ◽

2003 ◽

Author(s):

F. Papariello ◽

G. Luculli

Keyword(s):

Embedded Processors

Download Full-text

A systematic method of reusing objects extracted from legacy systems

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999836 ◽

2003 ◽

Author(s):

Jiang Guo

Keyword(s):

Legacy Systems ◽

Systematic Method

Download Full-text