Sciweavers

4258 search results - page 37 / 852
» Languages and Interactive Software Development
Sort
View
ICSE
2000
IEEE-ACM
14 years 2 days ago
An interactive multimedia software house simulation for postgraduate software engineers
: The Open University's M880 Software Engineering is a postgraduate distance education course aimed at software professionals. The case study element of the course (approximat...
Helen Sharp, Pat Hall
APSEC
2005
IEEE
14 years 2 months ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...
TGC
2005
Springer
14 years 1 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
IFIP
2003
Springer
14 years 1 months ago
Testing Mobile Wireless Applications
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
Ichiro Satoh
IAT
2010
IEEE
13 years 6 months ago
Modular JADE Agents Design and Implementation Using ASEME
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
Nikolaos I. Spanoudakis, Pavlos Moraitis