Search Sciweavers | Sciweavers

1326 search results - page 7 / 266

» Semantic Coherence in Software Engineering

click to vote

COMPSAC
2002
IEEE

93views Software Engineering» more COMPSAC 2002»

The Cooperative Web: A Complement to the Semantic Web

15 years 7 months ago

Download www.di.uniovi.es

Daniel Gayo-Avello, Darío Álvarez Gu...

claim paper

Read More »

click to vote

SIGSOFT
2000
ACM

92views Software Engineering» more SIGSOFT 2000»

A compositional approach to statecharts semantics

15 years 7 months ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Michael von der Beeck, Rance ...

claim paper

Read More »

Voted

AMAST
1997
Springer

108views Software Engineering» more AMAST 1997»

From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics

15 years 7 months ago

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

107

click to vote

ASWSD
2006
Springer

299views Software Engineering» more ASWSD 2006»

Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

15 years 6 months ago

Download aswsd.ucsd.edu

Sandeep Neema, Sushil Birla, Shige Wang, Tripti Sa...

claim paper

Read More »

102

click to vote

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers