Search Sciweavers | Sciweavers

3573 search results - page 57 / 715

» Reasoning about Codata

140

click to vote

TOOLS
1999
IEEE

68views Programming Languages» more TOOLS 1999»

Reasoning about Inheritance and Cloning Behaviors of Software Agents

15 years 10 months ago

Download cs.ndsu.edu

Xiaocong Fan, Dianxiang Xu, Guoliang Zheng

claim paper

Read More »

120

click to vote

AGP
1996
IEEE

97views Artificial Intelligence» more AGP 1996»

Reasoning about Concurrent Actions and Observations

15 years 10 months ago

Download centria.di.fct.unl.pt

Renwei Li, Luís Moniz Pereira

claim paper

Read More »

131

click to vote

ICSE
1997
IEEE-ACM

83views Software Engineering» more ICSE 1997»

Using Formal Methods to Reason about Architectural Standards

15 years 10 months ago

Download www.cs.virginia.edu

Kevin J. Sullivan, John Socha, Mark Marchukov

claim paper

Read More »

118

click to vote

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

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

15 years 10 months ago

Download www.brics.dk

Ian Stark

claim paper

Read More »

click to vote

COOPIS
1993
IEEE

90views Information Technology» more COOPIS 1993»

Reasoning about Goals to Resolve Conflicts

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers