Number of items at this level: 23.
Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander and Prokhorova, Yuliya and Troubitsyna, Elena
(2011)
Patterns for Representing FMEA in Formal Specification of Control Systems.
In: The 13th IEEE International High Assurance Systems Engineering Symposium, Boca Raton, FL, November 10-12, 2011, Boca Raton, USA.
Ponsard, Christophe and Devroey, Xavier
(2011)
Generating High-Level Event-B System Models from KAOS Requirements Models.
In: InforSID 2011, 24-26 May 2011, Lille (France).
Grotsev, Denis and Iliasov, Alexei and Romanovsky, Alexander
(2011)
Formal Stepwise Development of Scalable and Reliable Multiagent Systems.
In:
Dependability and Computer Engineering: Concepts for Software-Intensive Systems.
IGI Global.
ISBN ISBN13: 9781609607470
Su, Wen and Abrial, Jean-Raymond and Huang, Runlei and Zhu, Huibiao
(2011)
From Requirements to Development: Methodology and Example.
In: ICFEM 2011, Durham, UK.
(In Press)
Mazzara, Manuel
(2011)
On Methods for the Formal Specification of Fault Tolerant Systems.
In: DEPEND 2011.
Jastram, Michael
(2011)
ProR - Eine Softwareplattform f"\ur Requirements Engineering.
Softwaretechnik-Trends, 31
(1).
Jastram, Michael and Graf, Andreas
(2011)
Requirement Traceability in Topcased with the Requirements Interchange Format (RIF/ReqIF).
In: FIRST TOPCASED DAYS TOULOUSE 2011, 2 Feb - 4 Feb 2011, Toulouse, France.
Jastram, Michael and Graf, Andreas
(2011)
Requirements Modeling Framework.
Eclipse Magazin, 6.11
.
Jastram, Michael and Graf, Andreas
(2011)
Requirements, Traceability and DSLs in Eclipse with the Requirements Interchange Format (RIF/ReqIF).
Dagstuhl-Workshop MBEES: Model-Based Development of Embedded Systems
.
fortiss GmbH, München, Germany.
Yeganefard, Sanaz and Butler, Michael
(2011)
Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation.
Technical Report.
University of Southampton.
(Unpublished)
Jastram, Michael
(2010)
ProR, an Open Source Platform for Requirements Engineering based on RIF.
In: Systems Engineering Infrastructure Conference, 19 Oct 2010, Munich, Germany.
Yeganefard, Sanaz and Butler, Michael and Rezazadeh, Abdolbaghi
(2010)
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B.
NASA Formal Methods Symposium 2010
.
(In Press)
Jastram, Michael and Hallerstede, Stefan and Leuschel, Michael and Russo Jr, Aryldo G
(2010)
An Approach of Requirements Tracing in Formal Refinement.
In: VSTTE’10 Verified Software: Theories, Tools and Experiments, 16th-19th August 2010, Edinburgh, UK.
(In Press)
Russo Jr, Aryldo G and de Sousa, Thiago
(2010)
Starting B Specifications from Use Cases.
[DEPLOY Associate Item]
(Unpublished)
Delandtsheer, Renaud and Ponsard, Christophe
(2009)
Goal-Oriented Requirements Engineering in
Action in the Transportation Sector.
Technical Report.
DEPLOY.
(Unpublished)
Aziz, Benjamin and Arenas, Alvaro and Bicarregui, Juan and Ponsard, Christophe and Massonet, Philippe
(2009)
From Goal-Oriented Requirements to Event-B Specifications.
In: First Nasa Formal Method Symposium, April 6 - 8, 2009 , Moffett Field, California .
(In Press)
Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena
(2009)
Methods, Models and Tools for Fault Tolerance.
LNCS, 5454
.
Springer.
Iliasov, Alexei and Arief, Budi and Romanovsky, Alexander
(2009)
Step-wise Development of Resilient Ambient Campus Scenarios.
In:
Methods, Models and Tools for Fault Tolerance.
Springer, pp. 304-330.
Ponsard, Christophe and Dallons, Gautier and Philippe, Massonet
(2008)
From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems.
ERCIM News
(75).
pp. 22-23.
ISSN ISSN 0926-4981
Damchoom, Kriangsak
An Incremental Refinement Approach to a Development of Flash
File System in Event-B.
[Rodin Archive]
Mazzara, Manuel and Abouzaid, Faisal and Dragoni, Nicola and Bhattacharyya, Anirban
Design, Modelling and Analysis of a Workflow Reconfiguration.
Technical Report.
Newcastle University.
Mazzara, Manuel
Design, Modelling and Analysis of a Workflow Reconfiguration.
In: PNSE’11 – Petri Nets and Software Engineering.
Jastram, Michael and Leuschel, Michael and Bendisposto, Jens and Russo Jr, Aryldo G
Mapping Requirements to B models.
UNSPECIFIED.
(Unpublished)
This list was generated on Fri Feb 10 07:49:08 2012 GMT.
