Sciweavers

4290 search results - page 228 / 858
» Formal Approaches to Teamwork
Sort
View
FMCAD
2007
Springer
15 years 10 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
EACL
1993
ACL Anthology
15 years 8 months ago
Type-Driven Semantic Interpretation of f-Structures
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...
Jürgen Wedekind, Ronald M. Kaplan
JUCS
2008
117views more  JUCS 2008»
15 years 6 months ago
Disentangling Denotational Semantics Definitions
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
Fabio Tirelo, Roberto da Silva Bigonha, Joã...
ICLP
2009
Springer
16 years 7 months ago
Metabolic Network Expansion with Answer Set Programming
Abstract. We propose a qualitative approach to elaborating the biosynthetic capacities of metabolic networks. In fact, large-scale metabolic networks as well as measured datasets s...
Torsten Schaub, Sven Thiele
AGILEDC
2007
IEEE
16 years 1 months ago
Becoming Agile using Service Learning in the Software Engineering Course
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
Brian Hanks