Search Sciweavers | Sciweavers

15860 search results - page 89 / 3172

» On agent-based software engineering

136

click to vote

CBSE
2009
Springer

78views Software Engineering» more CBSE 2009»

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

16 years 23 days ago

Download secure.ucd.ie

Joseph R. Kiniry, Fintan Fairmichael

claim paper

Read More »

161

click to vote

CSEE
2009
Springer

94views Software Engineering» more CSEE 2009»

Improving Communication Skills of SE Students through Curricular Innovation

16 years 23 days ago

Download serl.iiit.ac.in

Janet E. Burge, Paul V. Anderson

claim paper

Read More »

115

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

16 years 23 days ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

125

click to vote

EMSOFT
2009
Springer

84views Software Engineering» more EMSOFT 2009»

SyncCharts in C: a proposal for light-weight, deterministic concurrency

16 years 23 days ago

Download rtsys.informatik.uni-kiel.de

Reinhard von Hanxleden

claim paper

Read More »

127

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers