Tag _journal [29 articles] Export

Recent papers classified by the tag _journal.

	Sound refactorings [My Copy] Science of Computer Programming (2010) by Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio posted to soundness refinement refactoring _qualis_b1 _journal 2010 by leonardo to the group SRG on 2009-10-31 00:20:25 as
	Checking Z Data Refinements Using Traces Refinement [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 129-148. by André Didier, Adalberto Farias, Alexandre Mota posted to _qualis_b2 2009 _journal by leonardo to the group SRG on 2009-07-23 16:04:46 as
	Multiple Synchrony in MSC [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 149-166. by Flávia Falcão, Juliano Iyoda, Augusto Sampaio posted to _qualis_b2 2009 _journal by leonardo to the group SRG on 2009-07-23 16:04:28 as
	Unifying Models of Test Cases and Requirements [My Copy] Latin America Transactions, IEEE (Revista IEEE America Latina) In Latin America Transactions, IEEE (Revista IEEE America Latina), Vol. 6, No. 3. (July 2008), pp. 267-274. by Clelio Feitosa, Glaucia Peres, Alexandre Mota posted to 2008 _journal _qualis_c controlled_natural_language csp formal_methods formal_models modelling unifying_models by leonardo to the group SRG on 2009-01-22 14:17:11 as
	An Strategy for Automatic Conformance Testing in Embedded Systems [My Copy] Latin America Transactions, IEEE (Revista IEEE America Latina) In Latin America Transactions, IEEE (Revista IEEE America Latina), Vol. 6, No. 3. (July 2008), pp. 290-297. by Cristiano Bertolini, Alexandre Mota posted to 2008 _journal _qualis_c conformance_testing csp refinement_checking by leonardo to the group SRG on 2009-01-22 14:16:58 as
	Procedures and Recursion in the Refinement Calculus [My Copy] Journal of the Brazilian Computer Society, Vol. 5, No. 1. (July 1998) by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock posted to 1998 _journal _qualis_b2 refinement_calculus by leonardo to the group SRG on 2008-11-28 14:19:45 as
	Automated formal specification generation and refinement from requirement documents [My Copy] Journal of the Brazilian Computer Society, Vol. 14, No. 1. (June 2008), pp. 87-106. by Gustavo Cabral, Augusto Sampaio posted to 2008 _journal _qualis_b2 by leonardo to the group SRG on 2008-11-28 14:01:56 as
	Formal Specification Generation from Requirement Documents [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006), Vol. 195 (18 January 2008), pp. 171-188. by Gustavo Cabral, Augusto Sampaio posted to 2008 _journal _qualis_b2 formal_specification requirements by leonardo to the group SRG on 2008-01-28 10:17:28 as
	Type Checking Circus Specifications [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006), Vol. 195 (18 January 2008), pp. 75-93. by Manuela Xavier, Ana Cavalcanti, Augusto Sampaio posted to 2008 _journal _qualis_b2 circus type_checking by leonardo to the group SRG on 2008-01-28 10:16:38 as along with 1 person michaelbanks
	Viewing CSP Specifications with UML-RT Diagrams [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006), Vol. 195 (18 January 2008), pp. 57-74. by Patrícia Ferreira, Augusto Sampaio, Alexandre Mota posted to 2008 _journal _qualis_b2 csp umlrt by leonardo to the group SRG on 2008-01-28 10:14:23 as
	Basic Laws of ROOL: an object-oriented language [My Copy] RITA, Vol. 7, No. 1. (2000), pp. 49-68. by Paulo Borba, Augusto Sampaio posted to 2000 _journal _qualis_b3 rool by leonardo to the group SRG on 2007-11-15 23:21:23 as
	Strict combinators [My Copy] Information Processing Letters, Vol. 24, No. 4. (02 March 1987), pp. 255-258. by Silvio posted to 1987 _journal _qualis_b1 by leonardo to the group SRG on 2007-10-30 17:15:16 as
	A System for Translating Executable VDM Specifications into Lazy ML [My Copy] Software: Practice and Experience, Vol. 27, No. 3. (March 1997), pp. 271-289. by Paulo Borba, Silvio Meira posted to 1997 _journal _qualis_b1 compilers formal_methods functional_languages rapid_prototyping specification_languages by leonardo to the group SRG on 2007-10-30 17:07:02 as
	From VDM specifications to functional prototypes [My Copy] J. Syst. Softw., Vol. 21, No. 3. (June 1993), pp. 267-278. by Paulo Borba, Sílvio Meira posted to 1991 _journal _qualis_b1 vdm by leonardo to the group SRG on 2007-10-30 17:01:20 as
	Towards Property Oriented Testing [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Second Brazilian Symposium on Formal Methods (SBMF 2005), Vol. 184 (12 July 2007), pp. 3-19. by Patricia D. Machado, Daniel A. Silva, Alexandre C. Mota posted to 2007 _journal _qualis_b2 test by leonardo to the group SRG on 2007-10-05 18:03:57 as
	Normal form approach to compiler design [My Copy] Acta Informatica, Vol. 30, No. 8. (1993), pp. 701-739. by C. A. R. Hoare, He Jifeng, Augusto Sampaio posted to 1993 _journal _qualis_b1 by leonardo to the group SRG on 2007-10-05 17:58:38 as
	Mechanising the theory of intervals using OBJ3 [My Copy] Reliable Computing, Vol. 2, No. 2. (7 June 1996), pp. 97-102. by Marcilia A. Campos, Augusto C. Sampaio, Alexandre H. Brainer posted to 1996 _journal obj3 by leonardo to the group SRG on 2007-10-05 17:57:37 as
	Mechanised Refinement of Procedures [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 184 (2007), pp. 63-80. by Manuela Xavier, Ana Cavalcanti posted to 2007 _journal _qualis_b2 formal_methods refinement refinement_calculus tool by leonardo to the group SRG on 2007-10-05 17:52:57 as
	An inconsistency in procedures, parameters, and substitution in the refinement calculus [My Copy] Science of Computer Programming, Vol. 33, No. 1. (January 1999), pp. 87-96. by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock posted to 1999 _journal _qualis_b1 refinement_calculus by leonardo to the group SRG on 2007-10-04 02:43:37 as along with 1 person michaelbanks
	Refactoring by Transformation [My Copy] Electronic Notes in Theoretical Computer Science In REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002), Vol. 70, No. 3. (November 2002), pp. 311-330. by Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio posted to 2002 _journal _qualis_b2 refactoring by leonardo to the group SRG on 2007-10-03 21:31:42 as
	Algebraic reasoning for object-oriented programming [My Copy] Science of Computer Programming In Special Issue on Program Transformation, Vol. 52, No. 1-3. (August 2004), pp. 53-100. by Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio posted to 2004 _journal _qualis_b1 algebraic_laws oop by leonardo to the group SRG on 2007-10-03 21:24:27 as
	A Constructive Approach to Hardware/Software Partitioning [My Copy] Formal Methods in System Design, Vol. 24, No. 1. (1 January 2004), pp. 45-90. by Leila Silva, Augusto Sampaio, Edna Barros posted to 2004 _journal _qualis_b1 algebraic_laws co-design formal_verification hardware_software_partitioning occam by leonardo to the group SRG on 2007-10-03 20:31:57 as
	Model-checking CSP-Z: strategy, tool support and industrial application [My Copy] Science of Computer Programming, Vol. 40, No. 1. (May 2001), pp. 59-96. by Alexandre Mota, Augusto Sampaio posted to 2001 _journal _qualis_b1 cspz model_checking by leonardo to the group SRG on 2007-09-27 15:17:35 as
	Refinement of Actions in Circus [My Copy] Electronic Notes in Theoretical Computer Science In REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002), Vol. 70, No. 3. (November 2002), pp. 492-522. by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock posted to 2002 _journal _qualis_b2 circus refinement by leonardo to the group SRG on 2007-09-23 18:50:58 as
	A Refinement Strategy for Circus [My Copy] Formal Aspects of Computing, Vol. 15, No. 2. (1 November 2003), pp. 146-181. by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock posted to 2003 _journal _qualis_b1 circus csp refinement z by leonardo to the group SRG on 2007-09-23 18:50:18 as
	Integrating UML and Formal Methods [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Second Brazilian Symposium on Formal Methods (SBMF 2005), Vol. 184 (12 July 2007), pp. 97-112. by Rafael M. Borges, Alexandre C. Mota posted to 2007 _journal _qualis_b2 formal_methods ohcircus refinement translation uml by leonardo to the group SRG on 2007-09-22 16:29:26 as
	Refactoring Towards a Layered Architecture [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004), Vol. 130 (12 May 2005), pp. 281-300. by Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio posted to 2005 _journal _qualis_b2 formal_refinement refactoring refinement_calculus by leonardo to the group SRG on 2007-09-22 16:24:47 as
	Class and Capsule Refinement in UML for Real Time [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Workshop on Formal Methods, Vol. 95 (17 May 2004), pp. 23-51. by Augusto Sampaio, Alexandre Mota, Rodrigo Ramos posted to 2004 _journal _qualis_b2 refinement umlrt by leonardo to the group SRG on 2007-09-22 16:17:35 as
	Unifying classes and processes [My Copy] Software and Systems Modeling, Vol. 4, No. 3. (31 July 2005), pp. 277-296. by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock posted to 2005 _journal _qualis_b2 circus csp refinement z by leonardo to the group SRG on 2007-09-22 16:14:12 as

Note: You may cite this page as: http://www.citeulike.org/tag/_journal

_qualis_b2	15
_qualis_b1	10
refinement	7
2008	6
csp	5
circus	4
formal_methods	4
refinement_calculus	4
2004	3
2007	3
refactoring	3
2002	2
2005	2
2009	2
_qualis_c	2
algebraic_laws	2
umlrt	2
z	2
1987	1
1991	1
1993	1
1996	1
1997	1
1998	1
1999	1
2000	1
2001	1
2003	1
2010	1
_qualis_b3	1
co-design	1
compilers	1
conformance_testing	1
controlled_natural_language	1
cspz	1
formal_models	1
formal_refinement	1
formal_specification	1
formal_verification	1
functional_languages	1
hardware_software_partitioning	1
model_checking	1
modelling	1
obj3	1
occam	1
ohcircus	1
oop	1
rapid_prototyping	1
refinement_checking	1
requirements	1
rool	1
soundness	1
specification_languages	1
test	1
tool	1
translation	1
type_checking	1
uml	1
unifying_models	1
vdm	1

Tag _journal [29 articles] Export

Related Tags