Search Sciweavers | Sciweavers

3573 search results - page 57 / 715

» Reasoning about Codata

click to vote

TOOLS
1999
IEEE

68views Programming Languages» more TOOLS 1999»

Reasoning about Inheritance and Cloning Behaviors of Software Agents

15 years 3 months ago

Download cs.ndsu.edu

Xiaocong Fan, Dianxiang Xu, Guoliang Zheng

claim paper

Read More »

click to vote

AGP
1996
IEEE

97views Artificial Intelligence» more AGP 1996»

Reasoning about Concurrent Actions and Observations

15 years 3 months ago

Download centria.di.fct.unl.pt

Renwei Li, Luís Moniz Pereira

claim paper

Read More »

click to vote

ICSE
1997
IEEE-ACM

83views Software Engineering» more ICSE 1997»

Using Formal Methods to Reason about Architectural Standards

15 years 3 months ago

Download www.cs.virginia.edu

Kevin J. Sullivan, John Socha, Mark Marchukov

claim paper

Read More »

click to vote

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

Names, Equations, Relations: Practical Ways to Reason about new

15 years 3 months ago

Download www.brics.dk

Ian Stark

claim paper

Read More »

Voted

COOPIS
1993
IEEE

90views Information Technology» more COOPIS 1993»

Reasoning about Goals to Resolve Conflicts

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers