Search Sciweavers | Sciweavers

6348 search results - page 48 / 1270

» A Lesson for Software Engineering from Knowledge Engineering

click to vote

KBSE
1997
IEEE

86views Software Engineering» more KBSE 1997»

A Structured Approach for Synthesizing Planners from Specifications

15 years 7 months ago

Download rakaposhi.eas.asu.edu

Biplav Srivastava, Subbarao Kambhampati, Amol Datt...

claim paper

Read More »

100

click to vote

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 »

106

click to vote

FSTTCS
2007
Springer

103views Software Engineering» more FSTTCS 2007»

Reconstructing Convex Polygons and Polyhedra from Edge and Face Counts in Orthogonal Projections

15 years 7 months ago

Download 203.208.166.84

Therese C. Biedl, Masud Hasan, Alejandro Ló...

claim paper

Read More »

104

click to vote

ICFEM
2007
Springer

76views Software Engineering» more ICFEM 2007»

From Model-Based Design to Formal Verification of Adaptive Embedded Systems

15 years 7 months ago

Download www.dasmod.de

Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...

claim paper

Read More »

Voted

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Deriving test plans from architectural descriptions

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers