3943 search results - page 66 / 789 » Architecture-Level Requirements Specification |
150
click to vote
HT
1998
ACM
15 years 9 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
146
click to vote
JOT
2010
15 years 4 months ago
2010
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
141
click to vote
EDBT
2008
ACM
16 years 5 months ago
2008
ACM
A form-based query interface is usually the preferred means to provide an unsophisticated user access to a database. Not only is such an interface easy to use, requiring no techni...
149
click to vote
SOFSEM
2007
Springer
15 years 11 months ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
182
Voted
APSEC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...