Sciweavers

1459 search results - page 121 / 292
» Tool Supported Development of Service-Based Systems
Sort
View
NFM
2011
254views Formal Methods» more  NFM 2011»
14 years 10 months ago
A Tabular Expression Toolbox for Matlab/Simulink
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address thi...
Colin Eles, Mark Lawford
129
Voted
CAISE
2009
Springer
15 years 10 months ago
Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...
Haralambos Mouratidis, Ali Sunyaev, Jan Jürje...
214
Voted
AMKM
2003
Springer
15 years 9 months ago
Agent-Mediated Knowledge Engineering Collaboration
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...
Adam Pease, John Li
167
Voted
CORR
2011
Springer
227views Education» more  CORR 2011»
14 years 10 months ago
Message Structures: a modelling technique for information systems analysis and design
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
Sergio España, Arturo González, Osca...
125
Voted
UML
2001
Springer
15 years 8 months ago
A UML-Based Approach to System Testing
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
Lionel C. Briand, Yvan Labiche