Sciweavers

53302 search results - page 147 / 10661

» Meta-Design: Design for Designers

89

ISF
2002

62views more ISF 2002»

A Theory of Object-Oriented Design

15 years 4 months ago

A Theory of Object-Oriented Design

Download www.eden-study.org

Abstract. Progress was made in the understanding of object

Amnon H. Eden

claim paper

Read More »

104

ISR
2002

90views Distributed And Parallel Com...» more ISR 2002»

Web Site Usability, Design, and Performance Metrics

15 years 4 months ago

Web Site Usability, Design, and Performance Metrics

Download tao.nuk.edu.tw

Jonathan W. Palmer

claim paper

Read More »

101

FMSD
1998

74views more FMSD 1998»

A Formal Verification Environment for Railway Signaling System Design

15 years 4 months ago

A Formal Verification Environment for Railway Signaling System Design

Download fmt.isti.cnr.it

Cinzia Bernardeschi, Alessandro Fantechi, Stefania...

claim paper

Read More »

100

FMSD
1998

66views more FMSD 1998»

Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets

15 years 4 months ago

Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets

Download www.cs.bham.ac.uk

Alexandre Yakovlev

claim paper

Read More »

136

CC
1999
Springer

157views System Software» more CC 1999»

Tool Support for Language Design and Prototyping with Montages

15 years 4 months ago

Tool Support for Language Design and Prototyping with Montages

Download www.eecs.umich.edu

In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.

Matthias Anlauff, Philipp W. Kutter, Alfonso Piera...

claim paper

Read More »

« Prev « First page 147 / 10661 Last » Next »