324 results on '"Luís Soares Barbosa"'
Search Results
102. Reasoning about software reconfigurations: The behavioural and structural perspectives.
103. Data governance: Organizing data for trustworthy Artificial Intelligence.
104. A component-based framework for certification of components in a cloud of HPC services.
105. Refinement via Interpretation.
106. Which Mathematics for the Information Society?
107. A Coordination Model for Interactive Components.
108. A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams.
109. A Relational Model for Confined Separation Logic.
110. Calculating Invariants as Coreflexive Bisimulations.
111. UML Model Refactoring as Refinement: A Coalgebraic Perspective.
112. On the Discovery of Business Processes Orchestration Patterns.
113. A type-level approach to component prototyping.
114. On Refinement of Software Architectures.
115. On Semantics and Refinement of UML Statecharts: A Coalgebraic View.
116. Specifying Software Connectors.
117. A Perspective on Component Refinement.
118. On Refinement of Generic State-Based Software Components.
119. A Hilbert-Style Axiomatisation for Equational Hybrid Logic.
120. Coinductive Interpreters for Process Calculi.
121. A Coalgebraic Perspective on Logical Interpretations.
122. A Calculus for Generic, QoS-Aware Component Composition.
123. Components as Processes: An Exercise in Coalgebraic Modeling.
124. Refinement by interpretation in π-institutions
125. Bringing class diagrams to life.
126. Slicing for architectural analysis.
127. Quantum Tree-Based Planning
128. Prototyping Processes.
129. A Single Complete Relational Rule for Coalgebraic Refinement.
130. Refinement by Interpretation in a General Setting.
131. Implementation of an Orchestration Language as a Haskell Domain Specific Language.
132. A perspective on service orchestration.
133. CAMILA: Prototyping and Refinement of Constructive Specifications.
134. An Exercise on Transition Systems.
135. Higher-Order Lazy Functional Slicing.
136. Configurations of Web Services.
137. An Orchestrator for Dynamic Interconnection of Software Components.
138. Towards a Coordination Model for Interactive Systems.
139. Components as coalgebras: The refinement dimension.
140. Transposing partial components - An exercise on coalgebraic refinement.
141. Generic Process Algebra: A Programming Challenge.
142. Program Slicing by Calculation.
143. Component Identification Through Program Slicing.
144. From Algebras to Objects: Generation and Composition.
145. A Coalgebraic Semantic Framework for Component-based Development in UML.
146. Architectural Prototyping: From CCS to .Net.
147. A Relational Model for Component Interconnection.
148. State-based Components Made Generic.
149. Towards a Calculus of State-based Software Components.
150. Continuity as a computational effect.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.