Sciweavers

1432 search results - page 16 / 287
» Executable Protocol Models as a Requirements Engineering Too...
Sort
View
OOPSLA
1998
Springer
15 years 1 months ago
Visualizing Dynamic Software System Information Through High-Level Models
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
Robert J. Walker, Gail C. Murphy, Bjørn N. ...
ECBS
1999
IEEE
92views Hardware» more  ECBS 1999»
15 years 1 months ago
A Seed for a STEP Application Protocol for Systems Engineering
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...
Erik Herzog, Anders Törne
WECWIS
2007
IEEE
172views ECommerce» more  WECWIS 2007»
15 years 3 months ago
An Analysis Tool for Execution of BPEL Services
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
Ariane Gravel, Xiang Fu, Jianwen Su
DOCENG
2011
ACM
13 years 9 months ago
A framework with tools for designing web-based geographic applications
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
The Nhan Luong, Sébastien Laborie, Thierry ...
ICSE
2005
IEEE-ACM
15 years 9 months ago
Fluent-based web animation: exploring goals for requirements validation
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. Th...
Robert Chatley, Sebastián Uchitel, Jeff Kra...