College of Natural Sciences
Computer Science Department Homepage Colorado State University Home Page
Home Search By Author By Title By Year

Viewing All Authors Starting with 'F'
View All | Publications Per Page:
| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z |
[First] | [Prev] | Showing page 1 of 3 pages | [Next] | [Last]

L. Forbes and B. Draper
D. Ford
    "Analysis of LVQ in the Context of Spontaneous EEG Signal Classification," 1996.
    Publisher: Colorado State University Department of Computer Science

    Available at: Ford-eeg-publications-ford-ms.ps.gz (ps)

R. France, S. Ghosh, I. Ray, J. Bieman, G. Georg, and R. Alexander
    "Evaluating competing dependability concern realizations in an aspect-oriented modeling framework," 2003.
    Appeared in (conference): International Symposium on Software Reliability Engineering, Page(s) 269-270

    Available at: France-bieman-Pubs-ISSRE03FastAbstract.pdf (pdf)

R. France and J. Bieman
R. France, J. Bieman, and R. Trask
Robert France
Robert B. France, Maha Boughdadi, and Robert Busser
    "An Industrial Application of an Integrated UML and SDL Modeling Technique," 1999.
    Publisher: IEEE Press
    Appeared in (conference): 23rd International Computer Software and Applications Conference (COMPSAC99)

    Available at: France-france-publications-compsac99final2.ps (ps)

Robert B. France, Robert Busser, and Maha Boughdadi
    "Incorporating a Formal Design Technique in an Industrial Setting," 1998.
    Publisher: IEEE Press
    Appeared in (conference): Ninth International Symposium on Software Reliability Engineering (ISSRE98)

    Available at: France-france-publications-Jour99.ps (ps)

Robert France, Andy Evans, Kevin Lano, and Bernhard Rumpe
    "The UML as a Formal Modeling Notation," 1998.
    Appeared in (journal): Computer Standards and Interfaces: Special Issues on Formal Development Techniques
Robert B. France and Jean-Michel Bruel
    "Applying Fusion/UML to the Invoicing Problem," 1998.
    Editor(s): Michel Allemand, Chritian Attiogbe, and Henri Habrias
    Publisher: Institut de Recherche en Informatique de Nantes
    Appeared in (conference): International Workshop on Comparing Systems Specification Techniques

    Available at: France-france-publications-invoice.ps.gz (ps)

Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, and Emmanuel Grant
    "Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations," 1997.
    Appeared in (conference): 6th International AMAST Conference

    Available at: France-france-publications-amast97.ps (ps)

Robert B. France, Jean-Michel Bruel, and Gopal Raghavan
Robert B. France, Jean-Michel Bruel, Monika Saksena, Emanuel Grant, and Maria M. Larrondo-Petrie
    "Towards a Rigorous Object-Oriented Analysis and Design Method," 1997.
    Appeared in (conference): 1st IEEE International Conference on Formal Engineering Methods (ICFEM97)

    Available at: France-france-publications-icfem97.ps (ps)

Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, and Malcolm Shroff
    "Exploring the Semantics of UML Type Structures with Z," 1997.
    Appeared in (conference): Formal Methods for Open Object-based Distributed Systems (FMOODS97)
R. B. France and J.-M. Bruel
    "Using Integrated and Formal Modeling Techniques To Analyze Software Requirements: A Case Study," 1997.
    Publisher: Department of Computer Science and Engineering, Florida Atlantic University

    Available at: France-france-publications-ISTpnet.ps.gz (ps)

Robert B. France, Jean-Michel Bruel, and Gopal Raghavan
    "Taming the Octopus: Using formal models to integrate the Octopus object oriented analysis models," 1997.
    Appeared in (conference): 2nd IEEE High-Assurance Systems Engineering Workshop (HASE97)
Robert France, Jie Wu, Maria Larrondo-Petrie, and Jean-Michel Bruel
    "A Tale of Two Case Studies: Using Integrated Methods to Support Rigorous Requirements Specification," 1996.
    Appeared in (conference): BCS FACS Methods Integration Workshop

    Available at: France-france-publications-FIST-MI.ps.gz (ps)

R. B. France, J.-M. Bruel
    "The Role of Integrated Specification Techniques in Complex System Modeling and Analysis," 1996.
    Publisher: IEEE Computer Society Press
    Appeared in (conference): Workshop on Real-Time Systems Education

    Available at: France-france-publications-rtse96.ps.gz (ps)

R. B. France and J.-M. Bruel
    "Formal Analysis of Information Systems using an Integrated Approach based on Extended Petri Nets," 1996.
    Appeared in (conference): International Conference on Information Systems Analysis and Synthesis (ISAS96)

    Available at: France-france-publications-ISTpnet.ps.gz (ps)

R. B. France and J.-M. Bruel
View All | Publications Per Page:
| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z |
[First] | [Prev] | Showing page 1 of 3 pages | [Next] | [Last]



Colorado State University, Fort Collins, CO 80523 USA
© 2004 Colorado State University
Last modified on Thursday, August 5, 2004, 2:22 PM