977 search results - page 19 / 196 » Formal methods integration in software engineering |
ICSE
2004
IEEE-ACM
15 years 5 months ago
2004
IEEE-ACM
Rapid change and increasing software criticality drive successful development and acquisition organizations to balance the agility and discipline of their key processes. The emerg...
SEKE
2005
Springer
15 years 5 months ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
102
click to vote
ASWEC
2005
IEEE
15 years 5 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
15 years 5 months ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...