Sciweavers

22698 search results - page 14 / 4540

» Modeling in Software Engineering

16

KBSE
2005
IEEE

94views Software Engineering» more KBSE 2005»

A component model for internet-scale applications

14 years 28 days ago

A component model for internet-scale applications

Download www.cs.brown.edu

Steven P. Reiss

claim paper

Read More »

18

METRICS
2005
IEEE

135views Software Engineering» more METRICS 2005»

What Should You Optimize When Building an Estimation Model?

14 years 28 days ago

What Should You Optimize When Building an Estimation Model?

Download se.naist.jp

Chris Lokan

claim paper

Read More »

20

TMRA
2005
Springer

90views Software Engineering» more TMRA 2005»

Conceptual Modeling of Topic Maps with ORM Versus UML

14 years 25 days ago

Conceptual Modeling of Topic Maps with ORM Versus UML

Download www.informatik.uni-leipzig.de

Are D. Gulbrandsen

claim paper

Read More »

17

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

14 years 23 days ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

19

FASE
2004
Springer

73views Software Engineering» more FASE 2004»

Optimising Communication Structure for Model Checking

14 years 22 days ago

Optimising Communication Structure for Model Checking

Download www.csc.liv.ac.uk

Peter Saffrey, Muffy Calder

claim paper

Read More »

« Prev « First page 14 / 4540 Last » Next »