skip to main content
Language:
Refined by: subject: Software Engineering remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A channel-based coordination model for component composition
A channel-based coordination model for component composition
Material Type:
Article 		Add to e-Shelf

A channel-based coordination model for component composition

ARBAB, Farhad

Report - Software engineering, 2002 (3), p.1-35

Amsterdam: Centrum voor Wiskunde en Informatica

Full text available

Citations Cited by
2
A channel-based coordination model for components
A channel-based coordination model for components
Material Type:
Article 		Add to e-Shelf

A channel-based coordination model for components

ARBAB, Farhad ; DE BOER, Frank S ; BONSANGUE, Marcello M ; SCHOLTEN, Juan V

Report - Software engineering, 2001 (27), p.1-15

Amsterdam: Centrum voor Wiskunde en Informatica

Full text available

Citations Cited by
3
Abstract Behavior types: A foundation model for components and their composition
Abstract Behavior types: A foundation model for components and their composition
Material Type:
Article 		Add to e-Shelf

Abstract Behavior types: A foundation model for components and their composition

ARBAB, Farhad

Report - Software engineering, 2003 (5), p.1-28

Amsterdam: Centrum voor Wiskunde en Informatica

Full text available

Citations Cited by
4
Abstract Behavior Types: A Foundation Model for Components and Their Composition
Abstract Behavior Types: A Foundation Model for Components and Their Composition
Material Type:
Book Chapter 		Add to e-Shelf

Abstract Behavior Types: A Foundation Model for Components and Their Composition

Arbab, Farhad de Roever, Willem-Paul ; Bonsangue, Marcello M. ; Graf, Susanne ; de Boer, Frank S.

Formal Methods for Components and Objects, 2003, p.33-70 [Peer Reviewed Journal]

Berlin, Heidelberg: Springer Berlin Heidelberg

Full text available

Citations Cited by
5
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers
Material Type:
Book 		Add to e-Shelf

Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers

Canal, Carlos ; Villari, Massimo Villari, Massimo ; Canal, Carlos

Netherlands: Springer Nature 2013

Full text available

Citations Cited by
6
An Associative Broadcast Based Coordination Model for Distributed Processes
An Associative Broadcast Based Coordination Model for Distributed Processes
Material Type:
Conference Proceeding 		Add to e-Shelf

An Associative Broadcast Based Coordination Model for Distributed Processes

Browne, James C. ; Kane, Kevin ; Tian, Hongxia Arbab, Farhad ; Talcott, Carolyn

Coordination Models and Languages, 2002, p.96-110 [Peer Reviewed Journal]

Berlin, Heidelberg: Springer Berlin Heidelberg

Full text available

Citations Cited by
7
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Material Type:
Book Chapter 		Add to e-Shelf

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?

Jongmans, Sung-Shik T. Q. ; Arbab, Farhad Sirjani, Marjan ; Dastani, Mehdi

Fundamentals of Software Engineering, 2015, Vol.9392, p.238-258 [Peer Reviewed Journal]

Switzerland: Springer International Publishing AG

Full text available

Citations Cited by
8
Composing Constraint Automata, State-by-State
Composing Constraint Automata, State-by-State
Material Type:
Book Chapter 		Add to e-Shelf

Composing Constraint Automata, State-by-State

Jongmans, Sung-Shik T. Q. ; Kappé, Tobias ; Arbab, Farhad Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.217-236 [Peer Reviewed Journal]

Switzerland: Springer International Publishing AG

Full text available

Citations Cited by
9
Coordinating Mobile Object-Oriented Code
Coordinating Mobile Object-Oriented Code
Material Type:
Book Chapter 		Add to e-Shelf

Coordinating Mobile Object-Oriented Code

Bettini, Lorenzo ; Bono, Viviana ; Venneri, Betti Arbab, Farhad ; Talcott, Carolyn

Coordination Models and Languages, 2002, p.56-71 [Peer Reviewed Journal]

Berlin, Heidelberg: Springer Berlin Heidelberg

Full text available

Citations Cited by
10
Coordinating Multicore Computing
Coordinating Multicore Computing
Material Type:
Book Chapter 		Add to e-Shelf

Coordinating Multicore Computing

Arbab, Farhad ; Jongmans, Sung-Shik T. Q. Bernardo, Marco ; Johnsen, Einar Broch

Formal Methods for Multicore Programming, 2015, Vol.9104, p.57-96 [Peer Reviewed Journal]

Switzerland: Springer International Publishing AG

Full text available

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Resource Type 

  1. Conference Proceedings  (30)
  2. Book Chapters  (15)
  3. Books  (14)
  4. Articles  (8)
  5. More options open sub menu

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

  1. International Symposium on Fundamentals of Software Engineering
  2. Sirjani, M
  3. Arbab, F

on this subject:

  1. Software Engineering
  2. Software Engineering
  3. Computer Science
  4. Technology
  5. Software

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far