Sciweavers

1021 search results - page 152 / 205
» Design of a Specification Language by Abstract Syntax Engine...
Sort
View
COLING
2000
15 years 17 days ago
An ontology of systematic relations for a shared grammar of Slavic
Sharing portions of grammars across languages greatly reduces the costs of multilingual grammar engineering. Related languages share a much wider range of linguistic information t...
Tania Avgustinova, Hans Uszkoreit
ECMDAFA
2007
Springer
122views Hardware» more  ECMDAFA 2007»
15 years 5 months ago
Model Transformation from OWL-S to BPEL Via SiTra
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
Behzad Bordbar, Gareth Howells, Michael Evans, Ath...
SERP
2010
14 years 9 months ago
The Viability of UML Models in Small Web Applications
As the use of online business systems increase so does the need to produce more efficient and less error prone web based Modeling is a core abstraction mechanism used to manage co...
Jason Dudley, Devon Simmonds
SIGSOFT
2003
ACM
15 years 12 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
ICSE
2008
IEEE-ACM
16 years 12 hour ago
Tool support for data validation by end-user programmers
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street add...
Christopher Scaffidi, Brad A. Myers, Mary Shaw