Working Papers

This page contains the listing of working papers that have been produced up till now by MEFISTO members. To see an abstract, click on the title of the document.

• Work Package 1
  • WP1-1'
    Gammaitoni, L., Goillau, P., The Approach Case Study: Description and Requirements
  • WP1-2
    Gammaitoni, L., Goillau, P., ATC Annotated Bibliography and ATC Modelling Survey
  • WP1-3'
    Tahmassebi, S., Druart, J., Novalès, L., The En-Route Case Study
  • WP1-5'
    Gammaitoni, L.The Aerodrome Case Study: Description and Requirements
  • WP1-6'
    Bastide R., Palanque P., Object Oriented Diagrams for Domain Modelling
  • WP1-7
    Bastide R., Palanque P., Draft model of domain for ATC (Druides)
  • WP1-8
    Fields, B., Wright, P., Error tolerance in collaborative systems
  • WP1-9
    Paternò, F., Santoro, C., Requirements and Formal properties on ATC
  • WP1-10
    Marti, P., Palmonari, M., Paternò, F., Santoro, C., Task Analysis review
  • WP1-11'
    Paternò, F., Santoro, C., Safety and Usability Requirements: State of Art
  • WP1-12
    Paternò, F., Santoro, C., Applying task models to en-route case study
  • WP1-13
    Fields, B., Paternò, F., Santoro, C., A HAZOP-based method for requirements elicitation
  • WP1-14
    Marti, P., Palmonari, M.,Activity analysis of the approach phase
  • WP1-15
    Paternò, F., Santoro, C., Tahmassebi, S., The impact of different media on safety and usability of interactive ATC applications
  • WP1-16
    Fields, B., Paternò, F., Santoro, C., Tahmassebi, S., A method for the comparison of design options for allocating communication media in a cooperative and safety-critical context
  • WP1-17
    Fields, B., Scenario-Based Requirements Engineering - A Review of the CREWS project
  • WP1-18
    Marti, P., Palmonari, M., Montani, S., Sabbatino, V., Scenarios for Aerodrome Case Study
  • WP1-19
    Paterno', F., Mancini, C., Developing task models from informal scenarios
  • WP1-20
    Tahmassebi, S., Gaspard-Boulinc, H., En-route case study scenarios

• Work Package 2
  • WP2-1
    Duc Hoa, L., Palanque, P., Bastide, R., An algorithm for the detection of liveness in free choice Petri nets by the calculation of siphons and traps
  • WP2-2
    Bastide, R., Palanque, P., Duc Hoa, L., Muñoz, J., Integrating rendering specifications into a formalism for the design of interactive systems
  • WP2-3
    Paternò, F., Santoro, C., Integrating formal techniques in the design of User Interface
  • WP2-4
    Navarre, D.,  Palanque, P., Bastide, R., Sy, O.,  Formal Specification of the DRUIDES prototype
  • WP2-5
    Navarre, D.,  Palanque, P., Bastide, R., Sy, O.,  Specification of Middles Touch Screen using Interactive Cooperative Objects
  • WP2-6
    Sy, O., Navarre, D.,  Le, D., Palanque, P., Bastide, R.,  Formal definition of Interactive Cooperative Objects
  • WP2-7
    Palanque, P., Navarre, D.,  Gaspard-Boulinc, H. MEFISTO Method version 1

• Work Package 3
  • WP3-1
    Tahmassebi, S., Courteix-Kherouf, S., CPDLC in MIDDLES
  • WP3-2
    Rossi, M.C., Sabbatino, V., The MIDAS prototype
  • WP3-3
    Paterno', F., Santoro, C., Task-based design of aerodrome case study
  • WP3-4
    Palmonari, M., Marti, P., Scenarios: from analysis to design
  • WP3-5
    Gaspard-Boulinc, H., Tahmassebi, S.,  MIDDLES presentation
  • WP3-6
    Gaspard-Boulinc, H., Fleury, L.,  MIDDLES improved prototype

   

• Work Package 4
  • WP4-1
    Wright, P. C.Concepts for usability evaluation
  • WP4-2
    Fields, B., Goillau, P., Fairburn, C., Wright, P., Techniques for usability evaluation
  • WP4-3
    Wright, P., Towards a Mefisto Method for the Concurrent Engineering of ATC Prototypes
  • WP4-4
    Gaspard-Boulinc, H., Comments raised by the Use of CTT
  • WP4-5
    Fairburn, C., Wright, P.C.W., THEA MIDDLES Analysis
  • WP4-6
    Rossi, M.C., Sabbatino, V., Comments raised by the Use of CTT and Scenarios
  • WP4-7
    Paternò, F., Santoro, C., Using Systematic Inspection-Based Usability Evaluation Methods in Software Development
  • WP4-8
    Fairburn, C., Goillau, P., Wright,P., CTTE Co-operative Evaluation
  • WP4-9
    Fairburn, C., Goillau, P., Wright, P., CTT Notation Evaluation (theory)
  • WP4-10
    Marti P., Scrivani P., Usability and Safety Assessment

• Work Package 5
  • WP5-1
    Goillau, P. (ed.), Training/Dissemination on Formal methods

Home   Overview    Contact list    Planning of Work   Documents    Workspace   Related Links    Statistics