Sciweavers

3837 search results - page 297 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
SIGSOFT
2004
ACM
15 years 10 months ago
A type system for object models
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
Jonathan Edwards, Daniel Jackson, Emina Torlak
AGILEDC
2003
IEEE
15 years 9 months ago
XP Culture: Why the twelve practices both are and are not the most significant thing
XP emphasises underlying values as well as the more visible twelve practices. In this paper we explore the relationship between practices and values from two perspectives: empiric...
Hugh Robinson, Helen Sharp
QSIC
2003
IEEE
15 years 9 months ago
Validating Use-Cases with the AsmL Test Tool
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
Michael Barnett, Wolfgang Grieskamp, Wolfram Schul...
SEFM
2003
IEEE
15 years 9 months ago
Architecting Specifications for Test Case Generation
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
Richard O. Sinnott
ADAEUROPE
2003
Springer
15 years 9 months ago
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95
Abstract. In this paper we present a proposal to integrate the POSIX.1 executiontime clocks and execution-time timers into the Ada 95 language. This proposal defines a new package...
Francisco Javier Miranda González, Michael ...