Search Sciweavers | Sciweavers

4919 search results - page 87 / 984

» A Process-Ontological Model for Software Engineering

click to vote

EWSA
2004
Springer

98views Software Engineering» more EWSA 2004»

Using Architectural Models at Runtime: Research Challenges

15 years 3 months ago

Download www.cs.cmu.edu

David Garlan, Bradley R. Schmerl

claim paper

Read More »

click to vote

FATES
2004
Springer

86views Software Engineering» more FATES 2004»

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

15 years 3 months ago

Download www.eecs.wsu.edu

Gaoyan Xie, Zhe Dang

claim paper

Read More »

click to vote

FSTTCS
2003
Springer

74views Software Engineering» more FSTTCS 2003»

Real-Time Model-Checking: Parameters Everywhere

15 years 3 months ago

Download www.ulb.ac.be

Véronique Bruyère, Jean-Franç...

claim paper

Read More »

click to vote

ICFEM
2003
Springer

102views Software Engineering» more ICFEM 2003»

A Relational Model for Formal Object-Oriented Requirement Analysis in UML

15 years 3 months ago

Download www.iist.unu.edu

Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen

claim paper

Read More »

click to vote

ARCS
2010
Springer

165views Software Engineering» more ARCS 2010»

Compiler-Directed Performance Model Construction for Parallel Programs

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers