Sciweavers

1005 search results - page 7 / 201
» Formal Software Development in MAYA
Sort
View
ASWSD
2004
Springer
15 years 5 months ago
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
Gabor Karsai
ICSE
2007
IEEE-ACM
15 years 11 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
PAKM
2000
15 years 1 months ago
Knowledge Management and New Product Development: Learning from a Software Development Firm
The core of the new product development [NPD] process centers on knowledge creation, utilization and the management of knowledge. This manuscript uses a software firm case to esta...
Abraham B. Shani, James A. Sena
PROFES
2009
Springer
15 years 4 months ago
Value Creation by Agile Projects: Methodology or Mystery?
Business value is a key concept in agile software development approaches. This paper presents results of a systematic review of literature on how business value is created by agile...
Zornitza Racheva, Maya Daneva, Klaas Sikkel
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 4 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff