174 results on '"Atlee, Joanne"'
Search Results
52. Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering
53. Model Checking for the Masses
54. Feature Interactions: The Next Generation (Dagstuhl Seminar 14281)
55. Variable-specific resolutions for feature interactions
56. Semantically Configurable Code Generation
57. Scaling exact multi-objective combinatorial optimization by parallelization
58. Behaviour interactions among product-line features
59. Formal methods and analysis in software product line engineering
60. A mode-based pattern for feature requirements, and a generic feature interface
61. A pattern for structuring the behavioural requirements of features of an embedded system
62. 5th International workshop on Modeling in Software Engineering (MiSE 2013)
63. Recommendations for improving the usability of formal methods for product lines
64. Foreword
65. A survey of variability modeling in industrial practice
66. Feature interaction analysis of the feature-oriented requirements-modelling language using alloy
67. A feature-oriented requirements modelling language
68. Ordering features by category
69. Guest Editor's Introduction: International Conference on Software Engineering
70. Monitoring aspects for the customization of automatically generated code for big-step models
71. In a ubiquitous world requirements are ubiquitous too
72. Code generation for a family of executable modelling notations
73. Search-carrying code
74. State-Space Coverage Estimation
75. Semantic Criteria for Choosing a Language for Big-Step Models
76. Modeling in software engineering
77. Modeling in Software Engineering
78. Research Directions in Requirements Engineering
79. Software engineering 2004
80. Writing Distributed Programs in Polylith
81. Monitoring aspects for the customization of automatically generated code for big-step models.
82. Analyzing Safety Properties of Requirements
83. Composable semantics for model-based notations
84. Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering.
85. Composing features and resolving interactions.
86. Composing features and resolving interactions
87. Reachability analysis of feature interactions
88. A logic-model semantics for SCR software requirements
89. Analyzing timing requirements
90. Monitoring aspects for the customization of automatically generated code for big-step models.
91. State-based model checking of event-driven system requirements.
92. A logic-model semantics for SCR software requirements.
93. Reachability analysis of feature interactions.
94. Analyzing timing requirements.
95. State-based model checking of event-driven system requirements
96. Module reuse by interface adaptation
97. Message from the ICSE 2019 General Chair.
98. Template Semantics for Model-Based Notations.
99. Composable semantics for model-based notations
100. 5th International Workshop on Modeling in Software Engineering (MiSE 2013).
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.