Search Sciweavers | Sciweavers

7139 search results - page 22 / 1428

» Language Engineering in Practice

202

click to vote

PLDI
2009
ACM

162views Programming Languages» more PLDI 2009»

A decision procedure for subset constraints over regular languages

16 years 11 days ago

Download www.cs.virginia.edu

Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...

Pieter Hooimeijer, Westley Weimer

claim paper

Read More »

click to vote

ICSE
1998
IEEE-ACM

114views Software Engineering» more ICSE 1998»

Integrating Architecture Description Languages with a Standard Design Method

15 years 4 months ago

Download www.ics.uci.edu

Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...

Jason E. Robbins, Nenad Medvidovic, David F. Redmi...

claim paper

Read More »

180

click to vote

ASWSD
2006
Springer

353views Software Engineering» more ASWSD 2006»

TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

15 years 3 months ago

Download www.immos-projekt.de

Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...

Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...

claim paper

Read More »

click to vote

NLDB
2010
Springer

111views Natural Language Processing» more NLDB 2010»

Supporting the Abstraction of Clinical Practice Guidelines Using Information Extraction

15 years 4 months ago