Search Sciweavers | Sciweavers

17 search results - page 1 / 4

» kbse 1998

click to vote

KBSE
1998
IEEE

91views Software Engineering» more KBSE 1998»

Testing using Log File Analysis: Tools, Methods, and Issues

13 years 8 months ago

Download www.kiv.zcu.cz

J. Andrews

claim paper

Read More »

click to vote

KBSE
1998
IEEE

78views Software Engineering» more KBSE 1998»

Explanation-based Scenario Generation for Reactive System Models

13 years 8 months ago

Download ase.informatik.uni-essen.de

Robert J. Hall

claim paper

Read More »

click to vote

KBSE
1998
IEEE

77views Software Engineering» more KBSE 1998»

Management of Evolving Specifications using Category Theory

13 years 8 months ago

Download www.cs.toronto.edu

Virginie Wiels, Steve M. Easterbrook

claim paper

Read More »

click to vote

KBSE
1998
IEEE

96views Software Engineering» more KBSE 1998»

Developing the Designer's Toolkit with Software Comprehension Models

13 years 8 months ago

Download www.cacs.louisiana.edu

Cognitive models of software comprehension are potential sources of theoretical knowledge for tool designers. Although their use in analysis of existing tools is fairly wellestabl...

Andrew Walenstein

claim paper

Read More »

click to vote

KBSE
1998
IEEE

97views Software Engineering» more KBSE 1998»

From Z to BON/Eiffel

13 years 8 months ago

Download www.cse.yorku.ca

It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...

Richard F. Paige, Jonathan S. Ostroff

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers