1146 search results - page 73 / 230 » Formal Specification Generation from Requirement Documents |
OHS
2001
Springer
15 years 2 months ago
2001
Springer
This paper presents two empirical usability studies based on techniques from Human-Computer Interaction HCI and software engineering, which were used to elicitate requirements fo...
SOCO
2008
Springer
14 years 9 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
ENTCS
2006
14 years 9 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
101
click to vote
ICDAR
1999
IEEE
15 years 2 months ago
1999
IEEE
DjVu is an image compression technique specifically geared towards the compression of scanned documents in color at high resolution. Typical magazine pages in color scanned at 300...
DSVIS
2008
Springer
14 years 11 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...