Search Sciweavers | Sciweavers

6581 search results - page 51 / 1317

» Formalizing Design Patterns

118

click to vote

AOSE
2004
Springer

114views Intelligent Agents» more AOSE 2004»

A Formal Reuse-Based Approach for Interactively Designing Organizations

15 years 9 months ago

Download www.ai.rug.nl

Catholijn M. Jonker, Jan Treur, Pinar Yolum

claim paper

Read More »

click to vote

CHARME
2001
Springer

109views Hardware» more CHARME 2001»

Formally-Based Design Evaluation

15 years 9 months ago

Download www.cs.stir.ac.uk

Kenneth J. Turner, Ji He

claim paper

Read More »

click to vote

FASE
2001
Springer

89views Software Engineering» more FASE 2001»

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

15 years 9 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne, Robert P. Kurs...

claim paper

Read More »

112

click to vote

CODES
1996
IEEE

106views Software Engineering» more CODES 1996»

A Co-Design Methodology Based on Formal Specification and High-level Estimation

15 years 8 months ago

Download www.cse.iitd.ernet.in

Carlos Carreras, Juan Carlos López, Mar&iac...

claim paper

Read More »

102

click to vote

PDIS
1993
IEEE

98views Distributed And Parallel Com...» more PDIS 1993»

A Formal Approach to the Vertical Partitioning Problem in Distributed Database Design

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers