- An Object Oriented Semantic 3.1 An Overview of the Semantic Framework
- Conclusions This chapter reviews the objectives of the thesis, shows how the work presented in this thesis meets
- Dual Vote: A non-intrusive eVoting Interface Damien MacNamara,
- Sculpturing Event-B Models with Rodin: Holes and Lumps in Teaching Refinement
- Challenging The Lecturer: Learning From The Teacher's Mistakes
- Feature Interactions in a Software Product Line for E-voting
- Analysis of a distributed e-voting system architecture against quality of service requirements
- Weaving a Formal Methods Education with Problem-Based Learning
- Verification and Maintenance of e-Voting Systems and Paul Gibson1
- FORMED 2008 How Do I Know If My Design Is Correct?
- FORMED 2008 Formal Methods
- Lower bounds on the computational power of an optical model of computation
- E-Voting and the Need for Rigourous Software Engineering The Past, Present and Future
- RoboCode & Problem-Based Learning: A non-prescriptive approach to teaching programming
- E-Voting Requirements Modelling: An Algebraic Specification Approach
- Analog recurrent neural network simulation, (log2 n) unordered search, and
- Object Oriented Program Derivation This chapter examines how implementations can be derived from the formal object oriented LOTOS
- Bibliography 1] P. America. Object oriented programming: a theoretician's introduction. Technical report, Philip's
- Software Reuse In Final Year Projects: A Code of Practice
- Conference for e-democracy, e-participation and e-voting Addressing Usability and Verifiability Issues in Electronic Voting Systems
- Formal Object Oriented Analysis: The Practical Issues
- Formal Object Oriented Design (Using LOTOS)
- Fair Objects Paul Gibson 1 and Dominique M'ery 1
- Engineering a Distributed e-Voting System Architecture
- Formal Object Oriented Development of Software Systems
- (m)Oodles of Data Mining Moodle to understand Student Behaviour
- Formal Object Oriented Development: A Case Study
- Formal verification of tamper-evident storage for e-voting Dominique Cansell
- http://www.cs.nuim.ie Tel: +353 1 7083847 Fax: +353 1 7083848 National University of Ireland, Maynooth
- The First International Workshop on Requirements Engineering for E-voting Systems
- Analysis: Modelling Problem Understanding
- Current issue | subscribe | back issues on-line | order back issues | advertise | Search | ERCIM web site
- Preconditioned Equations: The O-LSTS Model
- Introduction Formal languages, based on mathematical models, are essential in achieving correct software. Correct-
- Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting
- Electronic Voting: A Safety Critical System
- DUAL VOTE: A NOVEL USER INTERFACE FOR E-VOTING Damien MacNamara, Francis Carmody, Ted Scully, Ken Oakley, Elizabeth Quane
- Continuous-space model of computation Damien Woods
- Formal Object Oriented Development of Software Systems
- In E. Dunican & T.R.G. Green (Eds). Proc. PPIG 16 Pages 79-85 Workshop of the Psychology of Programming Interest Group www.ppig.org
- Telephone Feature Veri cation: Translating SDL to TLA+ P. Gibson and D. Mery a
- PBL: YEAR ONE ANALYSIS--INTERPRETATION AND VALIDATION Jackie O'KELLY J Paul GIBSON
- Formal requirements models: simulation, validation and verication
- Software Reuse and Plagiarism: A Code of Practice J Paul Gibson
- Feature Interactions: A Mixed Semantic Model Approach
- ANIMATING FORMAL SPECIFICATIONS: A TELEPHONE SIMULATION CASE STUDY
- Preliminary Study to Empirically Investigate the Comprehensibility of Requirements Specifications
- Teaching Formal Methods: Lessons to learn
- Lower bounds on the computational power of an optical model of computation
- Formal object oriented requirements: simulation, validation and verification
- Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor)
- A Critical Analysis of the Council of Europe Recommendations on e-voting
- A Unifying Model for Specification and Design
- Using A Taxonomy Tool To Identify Changes in OO Software Peter Clarke, Brian Malloy
- Just Like Paper and the 3-colour protocol: a voting interface requirements engineering case study
- Composing Fair Objects G.W. Hamilton
- Four Logics and a Protocol David Gray, Geoff Hamilton, David Sinclair
- Formal Requirements Engineering: Learning from the students
- A GRADUATE'S ROLE IN TECHNOLOGY TRANSFER: FROM REQUIREMENTS TO DESIGN WITH UML
- Synthesis and Analysis of Automatic Assessment Methods Generating intelligent MCQs
- Applying the Decorator Pattern for Profiling Object-Oriented Software
- Integration Problems in Telephone Feature Requirements Paul Gibson (NUI, Maynooth, Ireland),pgibson@cs.may.ie
- Always and Eventually in Object Requirements Paul Gibson, Dominique Mry,
- ACM SAC2002 Software Engineering: Theory and Applications (SETA) Track Description
- Software Engineering as a Model of Understanding for Learning and Problem solving
- Challenging The Lecturer: Learning From The Teacher's Mistakes
- Complexity of continuous space machine Damien Woods1
- A noughts and crosses Java applet to teach programming
- The Application Of Correctness Preserving Transformations
- Refinement: A constructive approach to formal software design for secure e-voting
- IMPLEMENTING COGNITIVE MODELLIG IN CS EDUCATION: ALIGNING THEORY AND PRACTICE OF
- Analysis of a distributed e-voting system architecture against quality of service requirements
- A "Future-Proof" Postgraduate Software Engineering Programme: Maintainability Issues
- Innovations Syst Softw Eng (2011) 7:225226 DOI 10.1007/s11334-011-0173-0
- GNIE LOGICIEL FORMEL: THORIE, PRATIQUE ET PDAGOGIE
