7139 search results - page 174 / 1428 » Language Engineering in Practice |
172
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...
168
click to vote
ASM
2005
ASM
15 years 12 months ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
161
click to vote
SPIRE
2010
Springer
15 years 4 months ago
2010
Springer
The retrieval of similar documents in the Web from a given document is different in many aspects from information retrieval based on queries generated by regular search engine use...
167
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Complex dialogs with comprehensive underlying data models are gaining increasing importance in today's Web applications. This in turn accelerates the need for highly dynamic ...
161
click to vote
SAC
2006
ACM
16 years 11 days ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...