Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program

Letelier, Patrício S.; Sánchez, Pedro; Ramos, Isidro

doi:10.1007/3-540-49201-1_3

Cited by 5 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…OASIS uses as formal model Dynamic Logic [22]. The operational semantics of such language is implemented as an Execution Model defining in a precise way [23] the mapping between problem domain concepts and solution domain ones. Pattern technology is used for establishing such mapping.…”

Section: Ideas: User Interfaces Development Within An Object Orientedmentioning

confidence: 99%

User interface specification and modeling in an object oriented environment for automatic software development

Lozano

González

Ramos

Proceedings. 34th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS 34

View full text Add to dashboard Cite

Nowadays, most of the research developed by industry and academy has led to several object-oriented methods highly adequate for the development of systems. But most of these methods do not include mechanisms (models) for identifying and specifying user needs and requirements us well us testing and vuliduting requirements with end-users before, during and after development. These considerations are specially important in interactive systems, where the user interaction is very high and the user interface is a significant part of the system. As a result of this weakness, interactive systems developed using such methods can meet all technical requirements, be very robust, and yet be unusable by the end-user. This problem explain a large purt of the frequently-observed phenomenon whereby large numbers of change requests to modify the services of an application are made afier its deployment. As a solution to this problem we propose a method for integrating a user interface model, taking into account user needs and requirements, into the software life cycle. Besides, this approach to the development process ensures the quality of the delivered applications from the point of view of the end user.

show abstract

Section: Ideas: User Interfaces Development Within An Object Orientedmentioning

confidence: 99%