Sciweavers

3400 search results - page 257 / 680
» tools 2008
Sort
View
SCHEDULING
2010
116views more  SCHEDULING 2010»
15 years 5 months ago
On supporting Lean methodologies using constraint-based scheduling
Lean Manufacturing often simply referred to as Lean is a process management philosophy that aims to improve the way in which products are manufactured. It does this through ide...
Roman van der Krogt, John Geraghty, Mustafa Ramzi ...
SCP
2010
96views more  SCP 2010»
15 years 5 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
SIMPRA
2010
137views more  SIMPRA 2010»
15 years 5 months ago
Co-simulation for performance prediction of integrated building and HVAC systems - An analysis of solution characteristics using
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...
Marija Trcka, Jan L. M. Hensen, Michael Wetter
TSE
2010
156views more  TSE 2010»
15 years 5 months ago
Discovering Services during Service-Based System Design Using UML
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...
George Spanoudakis, Andrea Zisman
TSE
2010
161views more  TSE 2010»
15 years 5 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...