BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Brazil
1 × Denmark
1 × France
1 × Italy
1 × Singapore
1 × South Africa
1 × The Netherlands
1 × USA
2 × Portugal
2 × Spain
2 × United Kingdom
3 × Germany
Collaborated with:
A.Mota L.Silva A.Cavalcanti S.R.d.L.Meira J.Woodcock R.Ramos P.Borba G.Carvalho S.Cavalcante J.Dihego M.V.M.Oliveira P.R.G.Antonino Z.Liu W.Mesquita A.C.V.d.Melo A.Farias M.Cornélio A.Duran A.Sherif G.Jones J.Iyoda E.Barros V.A.O.Cordeiro F.A.Barros F.Zeyda T.L.V.L.Santos Bruno Oliveira M.R.Mousavi A.Carvalho C.Albuquerque J.Vasconcelos L.Cruz L.Figueiredo D.Falcão L.Motta M.R.Blackburn
Talks about:
system (6) strategi (5) softwar (4) refin (4) test (4) base (4) csp (4) process (3) languag (3) requir (3)

Person: Augusto Sampaio

DBLP DBLP: Sampaio:Augusto

Contributed to:

SAC 20152015
SEFM 20152015
FM 20142014
SAC 20132013
FM 20092009
SAC 20082008
SEFM 20082008
ICSE 20052005
SEFM 20052005
IFM 20042004
ECOOP 20032003
FME 20032003
FME 20022002
FME 20012001
World Congress on Formal Methods 19991999
FASE 19981998
FASE 19982001
FME 19971997
FME 19941994
VDM Europe 19901990
CASE 20172017

Wrote 24 papers:

SAC-2015-DihegoSO #component
Constructive extensibility of trustworthy component-based systems (JD, AS, MVMO), pp. 1808–1814.
SEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
FM-2014-AntoninoSW #analysis #concurrent #csp #network #process #refinement
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes (PRGA, AS, JW), pp. 62–77.
FM-2014-ZeydaSCS #composition #higher-order #object-oriented
A Modular Theory of Object Orientation in Higher-Order UTP (FZ, TLVLS, AC, AS), pp. 627–642.
SAC-2013-CarvalhoFBSMMB #generative #natural language #requirements #specification #testing
Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.
FM-2009-RamosSM #component #development
Systematic Development of Trustworthy Component Systems (RR, AS, AM), pp. 140–156.
SAC-2008-RamosSM #composition #consistency #framework #refinement
Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.
SEFM-2008-SilvaSL #object-oriented #semantics
Laws of Object-Orientation with Reference Semantics (LS, AS, ZL), pp. 217–226.
ICSE-2005-SampaioAVCFC #experience #testing
Software test program: a software residency experience (AS, CA, JV, LC, LF, SC), pp. 611–612.
SEFM-2005-MesquitaSM #composition #framework
A Strategy for the Formal Composition of Frameworks (WM, AS, ACVdM), pp. 404–413.
IFM-2004-FariasMS #abstraction #performance
Efficient CSPZ Data Abstraction (AF, AM, AS), pp. 108–127.
ECOOP-2003-BorbaSC #algebra #object-oriented #programming #refinement
A Refinement Algebra for Object-Oriented Programming (PB, AS, MC), pp. 457–482.
FME-2003-DuranCS #compilation #inheritance
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding (AD, AC, AS), pp. 301–320.
FME-2002-MotaBS #abstraction #process
Mechanical Abstraction of CSPZ Processes (AM, PB, AS), pp. 163–183.
FME-2002-SampaioWC #refinement
Refinement in Circus (AS, JW, AC), pp. 451–470.
FME-2001-SherifSC #approach #realtime #specification #validation
An Integrated Approach to Specification and Validation of Real-Time Systems (AS, AS, SC), pp. 278–299.
FME-2001-SilvaSJ #clustering #hardware #parallel #process
Serialising Parallel Processes in a Hardware/Software Partitioning Context (LS, AS, GJ), pp. 344–363.
FM-v2-1999-IyodaSS #clustering #named
ParTS: A Partitioning Transformation System (JI, AS, LS), pp. 1400–1419.
FASE-1998-MotaS #model checking
Model-Checking CSP-Z (AM, AS), pp. 205–220.
FASE-J-1998-MotaS01 #industrial #model checking #tool support
Model-checking CSP-Z: strategy, tool support and industrial application (AM, AS), pp. 59–96.
FME-1997-SilvaSB #clustering #hardware #normalisation #reduction
A Normal Form Reduction Strategy for Hardware/Software Partitioning (LS, AS, EB), pp. 624–643.
FME-1994-CordeiroSM #approach #development #eiffel
From MooZ to Eiffel — A Rigorous Approach to System Development (VAOC, AS, SRdLM), pp. 306–325.
VDME-1990-SampaioM #composition
Modular Extensions to Z (AS, SRdLM), pp. 211–232.
CASE-2017-OliveiraCMS #hybrid #requirements #simulation
Simulation of hybrid systems from natural-language requirements (BO, GC, MRM, AS), pp. 1320–1325.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.