3837 search results - page 504 / 768 » Concurrent Engineering support in Software Engineering |
160
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
134
Voted
PEPM
2004
ACM
15 years 9 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
144
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
145
Voted
SEM
2004
Springer
15 years 9 months ago
2004
Springer
Business Intelligence (BI) systems address the demands of large scale enterprises for operational analytics, management information and decision support tasks. Building such applic...
128
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
The use of product lines is recognized as beneficial in promoting and structuring both component and architecture reuse throughout an organization. While the business practices of...