Search Sciweavers | Sciweavers

5132 search results - page 135 / 1027

» Toward Design as Collaboration

185

click to vote

ACSD
2003
IEEE

115views Hardware» more ACSD 2003»

Component-Based Design: Towards Guided Composition

16 years 6 days ago

Download www.computing.surrey.ac.uk

In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...

Sotiris Moschoyiannis, Michael W. Shields

claim paper

Read More »

143

click to vote

EH
2000
IEEE

91views Hardware» more EH 2000»

Towards the Automatic Design of More Efficient Digital Circuits

15 years 11 months ago

Download web.cecs.pdx.edu

Vesselin K. Vassilev, Dominic Job, Julian F. Mille...

claim paper

Read More »

166

click to vote

TOOLS
2000
IEEE

117views Programming Languages» more TOOLS 2000»

Towards a Semantic Metrics Suite for Object-Oriented Design

15 years 11 months ago

Download www.cs.uah.edu

Letha H. Etzkorn, Harry S. Delugach

claim paper

Read More »

147

click to vote

FM
1999
Springer

122views Formal Methods» more FM 1999»

Towards a Compositional Approach to the Design and Verification of Distributed Systems

15 years 11 months ago

Download www.cs.unh.edu

Michel Charpentier, K. Mani Chandy

claim paper

Read More »

127

click to vote

SIGCSE
1998
ACM

97views Education» more SIGCSE 1998»

Towards a hierarchical design and integration of programming projects

15 years 11 months ago

Download dis.eafit.edu.co

,’ Theideaof ahierarchicaldesignandintegrationof programming projectsin the computerscienceundergraduatecurriculum is proposedanddiscussed.Researchresultsin softwarereuseandobje...

Wing Ning Li

claim paper

Read More »

« Prev « First page 135 / 1027 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers