Sciweavers

2261 search results - page 177 / 453
» Modeling the Experimental Software Engineering Process
Sort
View
CAISE
2006
Springer
15 years 8 months ago
Designing Security Requirements Models Through Planning
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
Volha Bryl, Fabio Massacci, John Mylopoulos, Nicol...
AOSE
2004
Springer
15 years 10 months ago
AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
Radovan Cervenka, Ivan Trencanský, Monique ...
ECLIPSE
2007
ACM
15 years 8 months ago
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
Nicolás D'Ippolito, Dario Fischbein, Howard...
122
Voted
RE
2010
Springer
14 years 11 months ago
Requirements Determination is Unstoppable: An Experience Report
Abstract--The paper describes the quotations gathered during interviews and focus groups during a consulting engagement to help the client improve its requirements engineering (RE)...
Daniel M. Berry, Krzysztof Czarnecki, Michal Antki...
SERP
2004
15 years 6 months ago
A Petri Net Based Software Architecture for UAV Simulation
This paper presents a Petri net-based hierarchical architecture for multiple Unmanned Aerial Vehicle (UAV) simulations in order to facilitate rapid prototyping via visual modeling...
Dianxiang Xu, Priti Borse, Ken Grigsby, Kendall E....