570 results on '"Bruel, Jean-Michel"'
Search Results
2. Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements
3. Correction to: Frontiers in Software Engineering Education
4. Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests
5. Computing Education in the Age of AI-Based Assistants: Challenges and Opportunities
6. Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining
7. Traceability by Design: Design of an Interactive System to Improve the Automatic Generation of Git Traces During a Learning Activity
8. The Intersection Between the CS Students’ Perceived Ideal Workspace and the Actual One
9. The role of formalism in system requirements (full version)
10. Computing Education in the Age of AI-Based Assistants: Challenges and Opportunities
11. Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining
12. Modeling and verification method for an early validation of a train system
13. The Anatomy of Requirements
14. Correction to: Frontiers in Software Engineering Education
15. AutoReq: expressing and verifying requirements for control systems
16. Reflections on Teaching Formal Methods for Software Development in Higher Education
17. A contract-based method to specify stimulus-response requirements
18. Towards an Anatomy of Software Requirements
19. DevOps’18 Education Panel : Teaching Feedback and Challenges
20. Modeling and Verification of Natural Language Requirements based on States and Modes
21. Comp-O: An OWL-S Extension for Composite Service Description
22. Special Issue on New Paradigms of Software Production and Deployment
23. Comparing and classifying model transformation reuse approaches across metamodels
24. Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment
25. Model Transformation Reuse Across Metamodels : A Classification and Comparison of Approaches
26. SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation
27. Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap : Report on the MDE@DeRun 2018 Workshop
28. Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach
29. Model-Based Systems Engineering for Systems Simulation
30. AutoReq: Expressing and verifying requirements for control systems
31. Reflections on Teaching Formal Methods for Software Development in Higher Education
32. Towards a Methodological Tool Support for Modeling Security-Oriented Processes
33. Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study
34. DevOps’18 Education Panel
35. Towards an Anatomy of Software Requirements
36. A Generic Traceability Framework for Model Composition Operation
37. Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.
38. Repository-Centric Process Modeling – Example of a Pattern Based Development Process
39. The Relevance of Model-Driven Engineering Thirty Years from Now
40. Model-Based Systems Engineering for Systems Simulation
41. Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
42. Model Transformation Reuse Across Metamodels
43. Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach
44. SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation
45. Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns
46. MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing
47. Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks
48. Bowel Obstruction
49. Diverticulitis
50. Modeling of Natural Language Requirements based on States and Modes
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.