61 results on '"Broy, Manfred"'
Search Results
2. Refining the Safety-Liveness Classification of Temporal Properties According to Realizability
3. Seamless Model-Based System Development: Foundations
4. Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction)
5. On Architecture Specification
6. From Actions, Transactions, and Processes to Services
7. Towards a Unified View of Modeling and Programming (Track Summary)
8. Towards a Unified View of Modeling and Programming
9. Pragmatic Formal Specification of System Properties by Tables
10. A Model of Dynamic Systems
11. Error-Completion in Interface Theories
12. Cyber-Physical Systems: Imminent Challenges
13. Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence
14. A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering
15. Seamless Model Driven Systems Engineering Based on Formal Models
16. Requirements Engineering as a Key to Holistic Software Quality
17. Part I. Testing of Finite State Machines
18. Part IV. Tools and Case Studies
19. Part VII. Appendices
20. Part V. Standardized Test Notation and Execution Architecture
21. Part III. Model-Based Test Case Generation
22. Part VI. Beyond Testing
23. Part II. Testing of Labeled Transition Systems
24. Development of Hierarchical Broadcasting Software Architectures Using UML 2.0
25. Distributed Concurrent Object-Oriented Software
26. Service-Oriented Systems Engineering: Modeling Services and Layered Architectures
27. Multi-view Modeling of Software Systems
28. From Requirements to Validated Embedded Systems
29. Algebraic State Machines
30. From States to Histories
31. Enriching the Software Development Process by Formal Methods
32. Compositional Refinement of Interactive Systems Modelled by Relations
33. Software and System Modeling Based on a Unified Formal Semantics
34. A Logical Basis for Modular Software and Systems Engineering
35. Refinement of Time
36. Interactive and reactive systems: States, observations, experiments, input, output, nondeterminism, compositionality and all that
37. The RPC-memory specification problem problem statement
38. Graphical development of consistent system specifications
39. Algebraic specification of reactive systems
40. The RPC-memory case study: A synopsis
41. A functional solution to the RPC-memory specification problem
42. Advanced component interface specification
43. Equations for describing dynamic nets of communicating systems
44. A method for the development of correct software
45. Correct software: From experiments to applications
46. Mathematical system models as a basis of software engineering
47. Semantics of PAnndA-S
48. Prospects of new tools for software development
49. Views of distributed systems
50. Denotational semantics of concurrent programs with shared memory
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.