Sciweavers

1579 search results - page 75 / 316
» A software development process supporting non-functional pro...
Sort
View
ESWS
2008
Springer
15 years 6 months ago
The Web Service Modeling Toolkit
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
Mick Kerrigan, Adrian Mocan
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 11 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
SEAA
2008
IEEE
15 years 10 months ago
Towards Efficient Software Component Evaluation: An Examination of Component Selection and Certification
When software systems incorporate existing software components, there is a need to evaluate these components. Component evaluation is of two kinds according to literature: compone...
Rikard Land, Alexandre Alvaro, Ivica Crnkovic
GCC
2004
Springer
15 years 9 months ago
A Software Engineering Perspective for Services Security
Services are usually developed and deployed independently; and systems can be formed by composing relevant services to achieve set goals. In such an open and dynamic environment, s...
Jun Han
MAGS
2008
114views more  MAGS 2008»
15 years 4 months ago
Automated formal analysis of human multi-issue negotiation processes
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...