409 search results - page 47 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
SPLC
2004
15 years 3 months ago
2004
In this paper, we present a methodology to express, in a formal way, the requirements of products belonging to a product line. We relied on a formalism allowing the representation ...
110
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
This paper is not a technical paper that presents a new modelbased UI technique. It is about a project that revisits modeldriven UI design techniques in the context of business pr...
239
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
125
click to vote
ASWEC
2005
IEEE
15 years 7 months ago
2005
IEEE
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...
151
click to vote
ASE
1998
15 years 1 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...