Sciweavers

6348 search results - page 48 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
92
Voted
KBSE
1997
IEEE
15 years 6 months ago
A Structured Approach for Synthesizing Planners from Specifications
Biplav Srivastava, Subbarao Kambhampati, Amol Datt...
AMAST
1997
Springer
15 years 6 months ago
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
104
Voted
FSTTCS
2007
Springer
15 years 6 months ago
Reconstructing Convex Polygons and Polyhedra from Edge and Face Counts in Orthogonal Projections
Therese C. Biedl, Masud Hasan, Alejandro Ló...
99
Voted
ICFEM
2007
Springer
15 years 6 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
ICSE
2000
IEEE-ACM
15 years 6 months ago
Deriving test plans from architectural descriptions
Antonia Bertolino, Flavio Corradini, Paola Inverar...