Filtrer vos résultats
- 147
- 13
- 83
- 32
- 24
- 8
- 6
- 4
- 2
- 1
- 24
- 159
- 1
- 2
- 4
- 3
- 4
- 5
- 7
- 4
- 6
- 3
- 6
- 4
- 5
- 10
- 11
- 8
- 10
- 4
- 13
- 10
- 10
- 5
- 3
- 7
- 7
- 3
- 1
- 2
- 3
- 154
- 6
- 111
- 57
- 32
- 6
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 160
- 51
- 36
- 34
- 28
- 11
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
160 résultats
|
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)Electronic Proceedings in Theoretical Computer Science, 271, 2018, ⟨10.4204/EPTCS.271⟩
N°spécial de revue/special issue
hal-01933762v1
|
||
|
An Event-B model of an automotive adaptive exterior light systemABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, Ulm, Germany. pp.351-366, ⟨10.1007/978-3-030-48077-6_28⟩
Communication dans un congrès
hal-02975783v1
|
||
How to handle environmental uncertainty in goal-based requirements engineering40th International Conference on Software Engineering (ICSE 2018), May 2018, Gothenburg (online), Sweden. ACM, ICSE '18: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, pp.368--369, 2018, ⟨10.1145/3183440.3195013⟩
Poster de conférence
hal-04353185v1
|
|||
How to Adapt the Kaos Method to the Requirements Engineering of Cycab VehiclesProceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), 2009, Unknown, Unknown Region
Communication dans un congrès
hal-01224654v1
|
|||
Supporting Variability in Goal-based RequirementsProceedings of the IEEE International Conference on Research Challenges in Information Science (RCIS), 2009, Unknown, Unknown Region. pp.271-280
Communication dans un congrès
hal-01224652v1
|
|||
Vous avez dit raffinement ?[Research Report] 829, LACL, Université Paris-Est. 2005
Rapport
hal-01223279v1
|
|||
Secure Database Development and the Clark-Wilson Security ModelAtelier SSI'04 Sécurité des Systèmes d'Information, INFORSID 2004, 2004, Biarritz, France
Communication dans un congrès
hal-01224667v1
|
|||
Secure Databases: an Analysis of Clark-Wilson Model in a Database Environment16th International Conference on Advanced Information Systems Engineering, CAiSE 2004, 2004, Riga, Latvia. pp.234--247
Communication dans un congrès
hal-01224668v1
|
|||
Une démarche outillée pour spécifier formellement des patrons de conception réutilisablesObjets, Composants et Modèles dans l'ingénierie des SI, Jan 2003, X, France
Communication dans un congrès
hal-01124805v1
|
|||
Using a Formal Refinement to Derive Relational Database Implementations from B Specifications[Research Report] CEDRIC-00-86, CEDRIC Lab/CNAM. 2000
Rapport
hal-01124516v1
|
|||
Metamodels for Static Conceptual Modelling of Information SystemsWorkshop on Defining Precise Semantics for UML, ECOOP'2000, Sophia Antipolis, France, Jan 2000, X, France
Communication dans un congrès
hal-01124521v1
|
|||
Proving the Refinement of Scenarios into Object-Oriented Models[Research Report] CEDRIC-01-277, CEDRIC Lab/CNAM. 2001
Rapport
hal-01124662v1
|
|||
|
Formal representation of SysML/KAOS domain model[Research Report] LACL, Université Paris-Est/Créteil. 2019
Rapport
hal-02874826v1
|
||
Proceedings of the CAISE'06 Workshop on Regulations Modelling and their Validation and Verification, ReMo2V-2006, Luxemburg, June 5-9Régine Laleau and Michel Lemoine. ReMo2V-2006, CEUR-Workshop Proceedings, 2006
Proceedings/Recueil des communications
hal-01224664v1
|
|||
Assemblage de composants digne de confiance : de l'expression des besoins aux spécifications formellesGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 95, pp.13-18
Article dans une revue
inria-00565772v1
|
|||
Formal development of a secure access control filterHASE 2016 : 17th International Symposium on High-Assurance Systems Engineering, Jan 2016, Orlando, Florida, United States. pp.173 - 180, ⟨10.1109/HASE.2016.10⟩
Communication dans un congrès
hal-01298113v1
|
|||
IntroductionRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.493--494
Article dans une revue
hal-01575305v1
|
|||
Modélisation de politiques de sécurité à l'aide d'une algèbre de processusRevue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2010, 15 (3)
Article dans une revue
hal-01224641v1
|
|||
Expressing KAOS Goal Refinement Patterns with Event-BRodin User and Developer Workshop 2009 - Extended Abstracts, 2009, Unknown, Unknown Region
Communication dans un congrès
hal-01224651v1
|
|||
CAISE'08 Workshop on Regulations Modelling and Deployment, ReMoD'08. CEUR-Workshop Proceedings 342Jan Vanthienen and Stijn Hoppenbrouwers and Régine Laleau. 2008
Ouvrages
hal-01224659v1
|
|||
Using formal metamodels to check consistency of functional views in information systems specificationInformation and Software Technology, 2008, 50 (7-8), pp.797-814
Article dans une revue
hal-01224660v1
|
|||
|
Formal refinement of extended state machinesProceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., 2015, Unknown, Unknown Region. pp.1--16, ⟨10.4204/EPTCS.209.1⟩
Communication dans un congrès
hal-01575304v1
|
||
Validating the RBAC ANSI 2012 standard using BABZ 2014 : 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2014, Toulouse, France. pp.255 - 270, ⟨10.1007/978-3-662-43652-3_22⟩
Communication dans un congrès
hal-01264810v1
|
|||
Special issue "Abstract State Machines, Alloy, B and Z; Selected papers from ABZ 2010Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves. Elsevier, 2013
Ouvrages
hal-01224628v1
|
|||
|
State-Based versus Event-Based Specifications for Information Systems: a Comparison of B and EB3Software and Systems Modeling, 2005, 4 (3), pp.236-257
Article dans une revue
hal-00145961v1
|
||
|
A Design by Contract Approach to Verify Access Control PoliciesIEEE Computer Society, 2012, pp.263-272. ⟨10.1109/ICECCS.2012.4⟩
Article dans une revue
hal-00724267v1
|
||
Extending Statecharts with Process Algebra OperatorsInnovations in Systems and Software Engineering, 2008, 4 (3), pp.285-292
Article dans une revue
hal-01223276v1
|
|||
Comparing Different Combinations of Event-based and State-based Specifications for IS Modelling[Research Report] 18, LACL, Université Paris-Est. 2007
Rapport
hal-01223277v1
|
|||
EB3 Attribute Definitions: Formal Language and Application[Research Report] 700, LACL, Université Paris-Est. 2005
Rapport
hal-01223280v1
|
|||
UB2SQL : a tool for building database applications using UML and B formal methodDatabase technologies : concepts, methodologies, tools, and applications, IGI Global, pp.1168-1188, 2009, ⟨10.4018/978-1-60566-058-5.ch067⟩
Chapitre d'ouvrage
hal-00597321v1
|