Sciweavers

4258 search results - page 37 / 852
» Languages and Interactive Software Development
Sort
View
ICSE
2000
IEEE-ACM
15 years 8 months 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
15 years 10 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
15 years 10 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
15 years 9 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
164
Voted
IAT
2010
IEEE
15 years 2 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