Sciweavers

6201 search results - page 220 / 1241
» Implementation of Axiomatic Language
Sort
View
UML
2005
Springer
15 years 10 months ago
Activity Diagram Patterns for Modeling Quality Constraints in Business Processes
Quality management is an important aspect of business processes. Organizations must implement quality requirements, e.g., according to
Alexander Förster, Gregor Engels, Tim Schattk...
HOPL
2007
15 years 8 months ago
A history of Haskell: being lazy with class
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.
Paul Hudak, John Hughes, Simon L. Peyton Jones, Ph...
121
Voted
ERLANG
2008
ACM
15 years 6 months ago
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse
Wrangler is a refactoring tool for Erlang, implemented in Erlang. This paper reports the latest developments in Wran
Huiqing Li, Simon J. Thompson, George Orösz, ...
SPLC
2004
15 years 6 months ago
Dynamic Configuration of Software Product Lines in ArchJava
Abstract. This paper considers the use of a state-of-the-art, generalpurpose, component programming language, specifically ArchJava, to implement software product lines. Component ...
Sebastian Pavel, Jacques Noyé, Jean-Claude ...
172
Voted
LAWEB
2009
IEEE
15 years 11 months ago
A Theoretical Survey of User Interface Description Languages: Preliminary Results
— A user interface description language (UIDL) consists of a specification language that describes various aspects of a user interface under development. A comparative review of ...
Josefina Guerrero García, Juan Manuel Gonz&...