Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04

Cheddar

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 ◽

10.1145/1032297.1032298 ◽

2004 ◽

Cited By ~ 64

Author(s):

F. Singhoff ◽

J. Legrand ◽

L. Nana ◽

L. Marc�

Download Full-text

GNAT

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 ◽

10.1145/1032297.1032307 ◽

2004 ◽

Cited By ~ 1

Author(s):

Javier Miranda ◽

Edmond Schonberg

Download Full-text

Information systems security engineering

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 ◽

10.1145/1032297.1032300 ◽

2004 ◽

Cited By ~ 2

Author(s):

James F. Davis

Keyword(s):

Information Systems ◽

Information Systems Security ◽

Security Engineering ◽

Systems Security ◽

Systems Security Engineering

Download Full-text

Model driven development with Ada

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 ◽

10.1145/1032297.1032301 ◽

2004 ◽

Author(s):

Andy Lapping

Keyword(s):

Model Driven Development ◽

Model Driven

Download Full-text

Comparative analysis of genetic algorithm implementations

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 ◽

10.1145/1032297.1032304 ◽

2004 ◽

Author(s):

Robert Soricone ◽

Melvin Neville

Keyword(s):

Genetic Algorithm ◽

Comparative Analysis

Download Full-text

Enforcing security and safety models with an information flow analysis tool

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 ◽

10.1145/1032297.1032305 ◽

2004 ◽

Cited By ~ 5

Author(s):

Roderick Chapman ◽

Adrian Hilton

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Analysis Tool ◽

Information Flow Analysis ◽

Safety Models

Download Full-text

Teaching graphics using Ada

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 ◽

10.1145/1032297.1032306 ◽

2004 ◽

Cited By ~ 2

Author(s):

C. Wayne Brown

Download Full-text

Re-engineering global variables in Ada

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 ◽

10.1145/1032297.1032303 ◽

2004 ◽

Cited By ~ 2

Author(s):

Ricky E. Sward ◽

A. T. Chamillard

Keyword(s):

Global Variables

Download Full-text

A refactoring tool for Ada 95

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 ◽

10.1145/1032297.1032302 ◽

2004 ◽

Author(s):

Paul Anderson

Keyword(s):

Ada 95

Download Full-text

Measuring the effectiveness of ACATS

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 ◽

10.1145/1032297.1032299 ◽

2004 ◽

Author(s):

Geoff T. Smith

Download Full-text

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Cheddar

GNAT

Information systems security engineering

Model driven development with Ada

Comparative analysis of genetic algorithm implementations

Enforcing security and safety models with an information flow analysis tool

Teaching graphics using Ada

Re-engineering global variables in Ada

A refactoring tool for Ada 95

Measuring the effectiveness of ACATS

Export Citation Format

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Cheddar

GNAT

Information systems security engineering

Model driven development with Ada

Comparative analysis of genetic algorithm implementations

Enforcing security and safety models with an information flow analysis tool

Teaching graphics using Ada

Re-engineering global variables in Ada

A refactoring tool for Ada 95

Measuring the effectiveness of ACATS

Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04
Latest Publications