Sciweavers

6197 search results - page 64 / 1240
» Sandbridge Software Tools
Sort
View
ISPW
2011
IEEE
12 years 11 months ago
Analyzing software process models with AVISPA
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
Julio Ariel Hurtado Alegria, María Cecilia ...
ISCAS
1999
IEEE
94views Hardware» more  ISCAS 1999»
14 years 2 days ago
Designing system on a chip products using systems engineering tools
Systems engineering is the process which takes requirements specifications and engineers products and product families which involve hardware, software and possibly mechanical sub...
Graham R. Hellestrand
ENTCS
2010
410views more  ENTCS 2010»
13 years 5 months ago
TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator
ScalaBison is a parser generator accepting bison syntax and generating a parser in Scala. The generated parser uses the idea of "recursive ascent-descent parsing," that ...
John Boyland, Daniel Spiewak